[MLton-user] Lack of information with -const
vesa.karvonen at cs.helsinki.fi
Wed Jan 24 09:04:44 PST 2007
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
It might be an interesting project.
More information about the MLton-user