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