defunctirozaion? and problem with mlton-20000906-2.i386.tgz

Allyn Dimock dimock@deas.harvard.edu
Mon, 8 Jan 2001 14:10:13 -0500 (EST)


I am interested in getting the latest version od MLTON that still
supports source to source defunctorizing.

I also want to report that there is some problem in the
mlton-20000906-2.i386.tgz file downloadable from
http://www.sourcelight.com/MLton/

Here is what I get trying to run the suplied program mlton on an x86
system running RedHat 6.1 Linux:
[method1.deas.harvard.edu 12]  zcat mlton-20000906-2.i386.tgz | tar xvf -
[method1.deas.harvard.edu 13]  cd usr/local/bin
[method1.deas.harvard.edu 14]  mlton
Unable to run MLton
[method1.deas.harvard.edu 15]  gdb mlton
GNU gdb 4.18
...
"/home/dimock/usr/local/bin/mlton": not in executable format: File format not recognized


I appear to have been able to build mlton from the .tgx source distribution,
however it no longer appears to have a defunctorization switch.

After building, I noticed in src/Makefile:
# Change this to true if you want to be able to defunctorize.
# This is busted as of 20000712.
CAN_DEFUNCTORIZE = false

Given that comment, I should find an older version.
Versions in http://www.sourcelight.com/MLton/OLD/
only go back to  mlton-20000906-1.i38..>   Do you have a pre 2000-7-12
version still available.  (I am currently using  mlton-1999-3-19 for
defunctorizing, but I have had problems getting it to accept a number
of programs as input).

Thanks for you help.

-- Allyn
Allyn Dimock               (617) 495-3998     --free the bound variables--
dimock@deas.harvard.edu    30 Oxford St. #121 / Cambridge, Ma. 02138 / USA