[Ur] Using Ur/Web to create standalone JS applications

[Adam Chlipala]

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.)