XSB Src (SVN)-old

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

Commit [r8326] Maximize Restore History

gpp now inserts a terminating quote if it finds an end of file while scanning a string. For Flora this does wonders, since its compiler now finds the missing quote in a large file with high accuracy. For XSB this doesn't seem to do much because when XSB finds an end of file while scanning a string it forgets all previous errors, it seems.

This is XSB's compiler problem, I think.

Also fixed a typo in man1

Authored by: kifer 2015-04-17

Browse code at this revision

Parent: [r8325]

Child: [r8327]