search

mgorlick / CRESTaceans

Experiments and documentation for building CREST infrastructure. This material is based upon work supported by the National Science Foundation under Grant No. 0820222.
http://www.isr.uci.edu/projects/crest/
5 stars 2 forks source link

Make compile-tests.rkt RackUnit tests pass #11

Closed kstrasser closed 13 years ago

kstrasser commented 13 years ago

Looks like the following need attention (and are not covered by other issues):

mgorlick commented 13 years ago

kstrasser wrote:

Looks like the following need attention (and are not covered by other issues):

  • letrec
  • when
  • unless
  • or
  • quasiquote
  • macros
  • call/cc

when, unless, or, quasiquote, macros, and call/cc all were not properly upgraded during the grand conversion to first-class binding environments. Non-hygienic macros are now just plain broken and I need to reintegrate them with the internal macro processor that the compiler itself uses. All of the others are getting fixed now as I refactor the compiler.

Letrec should work (I think). Will you please send me the test cases that fail and their output?

mgorlick commented 13 years ago

The special forms when, unless, or, and call/cc were accidentally omitted in the compiler upgrade to binding environments as first-class constructions. Similarly, the code generation for quasiquotation does not conform to the new internal calling conventions for Motile closures.

Non-hygienic macros are still not properly integrated into the internal macro processor that the compiler now employs.

The special forms will be fixed in the next release of the compiler and I'm going to put off non-hygienic macros until I get the compiler stable again.

mgorlick commented 13 years ago

All of these issues are now resolved, with the exception of non-hygienic macros, with the release of the new compiler.