java.lang.VerifyError with PROGN

somewhat-functional-programmer somewhat-functional-programmer at
Wed Dec 18 23:29:33 UTC 2019

Glad to hear it, I appreciate you trying it again.  I'll try to go through the building of SBCL myself too -- it's really a blessing to have these types of existing resources already available to help test (the ansi-test suite is also fantastic).

Again, sorry for the trouble,


‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Wednesday, December 18, 2019 2:00 PM, Eric Marsden <eric.marsden at> wrote:

> On 18/12/2019 02:17, somewhat-functional-programmer wrote:
> > Patch attached that should fix this issue. Root cause: when I added the with-operand-accumulation forms for opstack safety (to fix the stack inconsistency bug reported in #69 [0]), I had incorrect types specified in some of the p2-ash code paths. The form (ash 1343225879 (- 1)) also was not being compiled as a constant, and took a code path to actually calculate the shift based on the -1 constant.
> Thanks, I can confirm that this fixes the problem, and in fact with this
> patch ABCL can build current SBCL (tested on Linux/AMD64).
> Eric

More information about the armedbear-devel mailing list