[Xsb-commits] SF.net SVN: XSB commit:[8277] trunk/XSB/cmplib

[<dw...@us...>]

Revision: 8277
          http://sourceforge.net/p/xsb/src/8277
Author:   dwarren
Date:     2015-03-05 17:34:52 +0000 (Thu, 05 Mar 2015)
Log Message:
-----------
Changed compiler to use internal cmp_gensym, and not global gensym,
which was causing internally generated names (by specialization) to
vary depending on the context of the compile, and making xwams differ
unnecessarily.

Modified Paths:
--------------
    trunk/XSB/cmplib/asm.xwam
    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.xwam
    trunk/XSB/cmplib/preproc.H
    trunk/XSB/cmplib/preproc.P
    trunk/XSB/cmplib/preproc.xwam
    trunk/XSB/cmplib/spec.xwam
    trunk/XSB/cmplib/suppltab.xwam
    trunk/XSB/cmplib/tabdef.xwam
    trunk/XSB/cmplib/ti_mod.H
    trunk/XSB/cmplib/ti_mod.P
    trunk/XSB/cmplib/ti_mod.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