XSB Src (SVN)-old

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

Commit [r7947] Maximize Restore History

Fixed bug in compiler, in which it assumed it could start gensym-ming

at 300 and all would be OK. Of course, it's not always. So now ensures
that gensym is larger than any variable genned during clause generation.
And this changes most xwam's, it seems, since gensymmed ids are now
different.

Authored by: dwarren 2014-04-16

Browse code at this revision

Parent: [r7946]

Child: [r7948]

changed	/trunk/XSB/cmplib/asm.xwam
changed	/trunk/XSB/cmplib/compile.H
changed	/trunk/XSB/cmplib/compile.P
changed	/trunk/XSB/cmplib/compile.xwam
changed	/trunk/XSB/cmplib/cp_opt.xwam
changed	/trunk/XSB/cmplib/cutcheck.xwam
changed	/trunk/XSB/cmplib/parse.H
changed	/trunk/XSB/cmplib/parse.P
changed	/trunk/XSB/cmplib/parse.xwam
changed	/trunk/XSB/cmplib/spec.xwam
changed	/trunk/XSB/cmplib/suppltab.xwam
changed	/trunk/XSB/cmplib/tabdef.xwam
changed	/trunk/XSB/cmplib/tp_eval.xwam
changed	/trunk/XSB/cmplib/tp_index.xwam
changed	/trunk/XSB/cmplib/useinfer.xwam
changed	/trunk/XSB/cmplib/varproc.xwam
changed	/trunk/XSB/cmplib/writeasm.xwam