search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
139 stars 32 forks source link

Fix PVS when compiling against SBCL 1.2.2+ #39

Closed MJDSys closed 9 years ago

MJDSys commented 10 years ago

SBCL 1.2.2 has a patch that improves handling of the backquote operator. This change broke PVS's handling of said operator. It appears that SBCL no longer needs special handling of the backquote character, so just disable all such branches on newer versions of SBCL, and leave a TODO comment for when SBCL 1.2.2+ is the new minimum version.

Also, SBCL never seemed to match the unbackquoted? branch. So just remove that code as it is dead anyways (leaving allegro in place).

Finally, bump travis to verify against 1.2.3 as well, since it has the patch.

Note: I didn't change the allegro side, as I don't have a copy to use myself. But the unbackquoted branch may not work with them either, and could be removed.

samowre commented 10 years ago

Hi Matt, Thanks for the information, I didn't have time to act on it today, but I will tomorrow and get back to you if I have any questions. Sam