Mon Apr 27 16:20:16 CEST 2009
dictionary "extra" state
It's not really elegant to augment the purely functional parser with
parameters and imperative stacks. However, it is quite isolated and
should be fixable by making the dictionary object itself extensible.
Prime objective now is to get it to work again. That last piece of
cosmetics is for later.
I do wonder though how this would be solved using monads: if you have
a piece of threaded state, how do you extend it?
The current implementation confuses me. The dictionary probably needs
type tags: semantics for compiling an entry: lambda-tx should be
Ok. This works + i made testing a bit easier.
test-pic18.ss works too again.