[MLton-user] MLRISC in MLton

[Nikolaos Kavvadias]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
 
Matthew Fluet wrote:

> Right, this is the complication with MLRISC and SML/NJ's
> compilation manager. Essentially, MLRISC is not a program by
> itself; rather, it is a library which doesn't have a distinguished
> single source file. Even then, there are generic MLRISC libraries
> and also (target-)processor specific libraries. Rather than using
> the "make.sml" file, you want to invoke the CM manager on
> "cm/MLRISC.cm" and "cm/MLTREE.cm" and "cm/IA32.cm" files from the
> MLRISC source tree.
>
> But, that is about the extent of my knowledge. You'll need to
> bring up other issues with using MLRISC with the SML/NJ developers
> (specifically, Lal George and Allen Leung).
>
> I'll try to put together a copy of MLton compatible sources, but it
> probably won't be until late this week.
>

Hi Matthew

i'm looking forward to getting hands-on the MLton compatible sources!
BTW i'm trying to contact some of the SML/NJ developers. Allen (as he
told me) is not currently dealing a lot with MLRISC; it seems (maybe
i'm making a mistake here, just my opinion) that Matthias Blume and
John Reppy (among others) are actively maintaining SML/NJ and MLRISC
related stuff.

best regards
Nikolaos Kavvadias



-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (MingW32)
Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org
 
iD8DBQFEAzDEMPiy0tCWlz4RAjcSAJ9FSl8l6fN+br5rUHN3XSTiD+whTACffQGf
OcHLDfwGc2bHT9/d15WsAOk=
=zjC9
-----END PGP SIGNATURE-----