From: <dw...@us...> - 2014-04-16 20:36:43
|
Revision: 7947 http://sourceforge.net/p/xsb/src/7947 Author: dwarren Date: 2014-04-16 20:36:41 +0000 (Wed, 16 Apr 2014) Log Message: ----------- 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. Modified Paths: -------------- trunk/XSB/cmplib/asm.xwam trunk/XSB/cmplib/compile.H trunk/XSB/cmplib/compile.P trunk/XSB/cmplib/compile.xwam trunk/XSB/cmplib/cp_opt.xwam trunk/XSB/cmplib/cutcheck.xwam trunk/XSB/cmplib/parse.H trunk/XSB/cmplib/parse.P trunk/XSB/cmplib/parse.xwam trunk/XSB/cmplib/spec.xwam trunk/XSB/cmplib/suppltab.xwam trunk/XSB/cmplib/tabdef.xwam trunk/XSB/cmplib/tp_eval.xwam trunk/XSB/cmplib/tp_index.xwam trunk/XSB/cmplib/useinfer.xwam trunk/XSB/cmplib/varproc.xwam trunk/XSB/cmplib/writeasm.xwam |