[Xsb-commits] CVS: XSB/syslib curr_sym.xwam, 1.43, 1.44 file_io.xwam, 1.40, 1.41 loader.xwam, 1.32, 1.33 standard.xwam, 1.86, 1.87 string.xwam, 1.29, 1.30

[David S. W. <dw...@us...>]

Update of /cvsroot/xsb/XSB/syslib
In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv17773/syslib

Modified Files:
	curr_sym.xwam file_io.xwam loader.xwam standard.xwam 
	string.xwam 
Log Message:
Added special compilation of ground lists of "small" positive integers, to
improve (i.e., speed up) compilation of "-strings.


Index: curr_sym.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/curr_sym.xwam,v
retrieving revision 1.43
retrieving revision 1.44
diff -u -r1.43 -r1.44
Binary files /tmp/cvs02C3wW and /tmp/cvsGODrnh differ

Index: file_io.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/file_io.xwam,v
retrieving revision 1.40
retrieving revision 1.41
diff -u -r1.40 -r1.41
Binary files /tmp/cvsamdED3 and /tmp/cvsLDQVEo differ

Index: loader.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/loader.xwam,v
retrieving revision 1.32
retrieving revision 1.33
diff -u -r1.32 -r1.33
Binary files /tmp/cvslud507 and /tmp/cvsvsB8ct differ

Index: standard.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/standard.xwam,v
retrieving revision 1.86
retrieving revision 1.87
diff -u -r1.86 -r1.87
Binary files /tmp/cvsZ1aYSh and /tmp/cvs7K8DhD differ

Index: string.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/string.xwam,v
retrieving revision 1.29
retrieving revision 1.30
diff -u -r1.29 -r1.30
Binary files /tmp/cvs3IrDzn and /tmp/cvsdgcK8I differ