The stage1 compiler compiles the system file again, together with some of the unit tests (Hello world, Fac, etc). I guess I am gonna unit test myself through the stage 2 compiler again.
Sigh, great. It accepts and generates correct code on all simple tests, but there's a recursion bug in the system file? I don't get it. What happened to induction? (It may be the FFI combinator, guess I'll check there...)
062710: There's a reordering bug, shouldn't be hard. Seems fixed, I had it before and thought an easy fix was just to push in a LIFO queue. Silliness. Dots for thunk stacks should be pushed FIFO, but in thunks -the arguments- LIFO.