[MLton-devel] Re: PRE in MLton

[Henry Cejtin]

Isn't  the  transformation  to  handle  the  while vs. do-while simply one of
unrolling recursive functions once.  I.e., all uses of f (except those in the
body  of f) are replaced with calls to f'.  The definition of f' is identical
to the definition of f.


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel