[MLton-user] Lack of information with -const 'Exn.keepHistory true'

[Vesa Karvonen]

Quoting Matthew Fluet <fluet at tti-c.org>:

> 2) Use a construct like:
>       fun f x = ...
>       fun f' n x = if n = 0 then f x else f' (n-1) x
>       val f = f' 1
>     I think that this would have the effect of putting extra f' frames on
>     the stack; there is, of course, a slight runtime penalty for this.

I'm surprised.  Shouldn't all those tail calls be eliminated?

...

BTW, has anyone considered implementing a debugger for MLton using
techniques like described in the paper

  http://mlton.org/References#TolmachAppel95 .

It might be an interesting project.

-Vesa Karvonen