[Xsb-commits] SF.net SVN: XSB commit:[7978] trunk

[<ki...@us...>]

Revision: 7978
          http://sourceforge.net/p/xsb/src/7978
Author:   kifer
Date:     2014-06-15 20:12:28 +0000 (Sun, 15 Jun 2014)
Log Message:
-----------
fixed a buglet in parser/auxilry that created the following problem:
   compile(foobar,[xpp_on])
executed twice in the same xsb session would fail the second time.
Added a test for the above.
Also updated a lot of xwam files that weren't recompiled for some reason.

Modified Paths:
--------------
    trunk/XSB/build/MSVC.dep
    trunk/XSB/cmplib/asm.xwam
    trunk/XSB/cmplib/auxlry.H
    trunk/XSB/cmplib/auxlry.P
    trunk/XSB/cmplib/auxlry.xwam
    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
    trunk/XSB/docs/userman/manual1.pdf
    trunk/XSB/docs/userman/manual2.pdf
    trunk/XSB/docs/userman/xsb_dbi.tex
    trunk/XSB/syslib/consult.xwam
    trunk/XSB/syslib/curr_sym.xwam
    trunk/XSB/syslib/dbclause.xwam
    trunk/XSB/syslib/debugger.xwam
    trunk/XSB/syslib/file_io.xwam
    trunk/XSB/syslib/increval.xwam
    trunk/XSB/syslib/num_vars.xwam
    trunk/XSB/syslib/setof.xwam
    trunk/XSB/syslib/standard.xwam
    trunk/XSB/syslib/string.xwam
    trunk/XSB/syslib/sub_atom.xwam
    trunk/XSB/syslib/xsb_read.xwam
    trunk/xsbtests/basic_tests/atest.sh

Added Paths:
-----------
    trunk/xsbtests/basic_tests/empty.P
    trunk/xsbtests/basic_tests/empty2.P
    trunk/xsbtests/basic_tests/xpp_on_test.P
    trunk/xsbtests/basic_tests/xpp_on_test_old