XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Commit [r6703] Maximize Restore History

Added ability to switch between dynamic incremental and opaque.
Improved error handling in dynamic and refactored code. Code now
(mostly) aborts before leaving predicates in an inconsistent state,
and various instantiation and non-callable errors are handled better.

error handler -- added check_nonvar_comma_list

increval -- macros for numbers.

Authored by: tswift 2010-08-13

Browse code at this revision

Parent: [r6702]

Child: [r6704]

changed	/trunk/XSB/syslib/assert.H
changed	/trunk/XSB/syslib/assert.P
changed	/trunk/XSB/syslib/assert.xwam
changed	/trunk/XSB/syslib/error_handler.H
changed	/trunk/XSB/syslib/error_handler.P
changed	/trunk/XSB/syslib/error_handler.xwam
changed	/trunk/XSB/syslib/increval.P
changed	/trunk/XSB/syslib/increval.xwam

/trunk/XSB/syslib/assert.H Diff Switch to side-by-side view

/trunk/XSB/syslib/assert.P Diff Switch to side-by-side view

/trunk/XSB/syslib/assert.xwam

Binary file was changed.

/trunk/XSB/syslib/error_handler.H Diff Switch to side-by-side view

/trunk/XSB/syslib/error_handler.P Diff Switch to side-by-side view

/trunk/XSB/syslib/error_handler.xwam

Binary file was changed.

/trunk/XSB/syslib/increval.P Diff Switch to side-by-side view

/trunk/XSB/syslib/increval.xwam

Binary file was changed.