froydnj/ironclad — pull request #5 by eadmund (2012-01-30 00:10:45+00:00)
Title: Issue with FIRST-BYTE, SECOND-BYTE, THIRD-BYTE

I found a bug due to SBCL rendering "~R" in lowercase despite *print-case* being :upcase. This fixes that, by using READ-FROM-STRING to read the resulting string.

Potential bugs: someone using a readcase of :preserve or :invert.

Due to a bug discussed in email, I have been unable to run the test suite and verify that this bug does not, itself, introduce other bugs.