Vag Vagoff wrote:
I'm planning to attack the problem of tail call elimination a few
months later.
It will enable emitting idiomatic imperative code from eager
functional languages.
The idea is whole program analysis and tracking which function passed
to which
and coupling them into one imperative function in the case of loops.
I believe the Ur/Web compiler already does all this, at least for
server-side code. Do you have a test case that shows undesirable
behavior to the contrary? (Passing the '-debug' flag to 'urweb' will
leave the intermediate C code in /tmp/webapp.c.)
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
