Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-02 17:14:21 -0800 (Sat, 02 Apr 2005)
Revision: 7087
Log message:
WARNING: see below
Added special calls,
external name : type
and sequencing
e1; e2
I'm trying to get the print_* functions to work so we can run the Mandel
test.
I ported Aleksey's sweep/closure modifications to the backend. However,
WARNING: if I am not going crazy, the rewriter seems to have a capture bug.
That's why I'm committing this partially-working code. To reproduce the
bug, try compiling mmc_special_test/test1. This will abort (intentionally)
at the error, where we see a sequent with duplicate bindings, and a body
where two variables have been folded together.
I'll file a Bugzilla report. If I can't figure it out myself, I'll
commit a workaround.