From: Terrance S. <ts...@cs...> - 2005-11-11 21:34:12
|
All: I just made a change to the error code so that abort/1, abort/0 and xsb_basic_abort() all throw error terms of the same shape as our ISO-style errors (instantiation,type,domain etc.), and of type misc_error. This may seem like a small detail, but we've had at least one user ask for better ISO error compatability. If you introduce new error conditions in system code, please use the predicates instantiation_error/3, type_error/4, etc in error_handler.P these are applicable. Some analogous C-functions are in error_xsb.c. I also updated most of the aborts in standard.P to their proper ISO-types. There are plenty more left around the system, if anyone's bored :-) Terry |