val _ = () and exception optimization in MLton

Stephen Weeks MLton@sourcelight.com
Fri, 11 Aug 2000 16:45:47 -0700 (PDT)


> This sounds fine to me (but I still don't think it will buy much most of the
> time).  (The non-tail calls in your example are just there so that the CPS
> code has to do a call instead of a jump, right?)

Yes.