softwarelanguageslab/maf

Use TailCalls in Concrete Scheme Interpreter

Closed this issue · 2 comments

The concrete Scheme interpreter is currently written in a recursive style. This however causes stackoverflow errors on some benchmarks, meaning they cannot be used for testing.

To support call-with-current-continuation, the Scheme interpreter will have to be written in a CPS style.

Issue closed. See #18 for call/cc support.