[MLton-user] defuctorize/elaborate

Stephen Weeks MLton-user@mlton.org
Tue, 18 Apr 2006 11:51:11 -0700


> is it possible to use mlton to "defunctorize" ml code for use with
> mlj compiler?

The post on the MLj list was accurate.  MLton's defunctorizer is no
longer separable from the rest of MLton.  MLton still uses
defunctorization internally, so one can see the output of the
defunctorizer by running MLton with

  -keep-pass defunctorize

However, the output is expressed in one of MLton's intermediate
languages, which although it appears somewhat like SML, isn't SML.