[MLton] compile mlton using SML/NJ
John Reppy
jhr at cs.uchicago.edu
Sun Oct 8 18:15:35 PDT 2006
Actually, I see now that the problem is that the time stamps on
the files you sent me were older than the lex and yacc files.
- John
On Oct 8, 2006, at 6:46 PM, Matthew Fluet wrote:
>
>> That helped a bit. My next problem was that mllex and mlyacc are
>> expected to compile the front end. I tried changing them to ml-lex
>> and ml-yacc, but the generated lexer code doesn't type check.
>> I suspect that this problem is because the code expects an Int
>> structure that does not conform to the SML'97 Basis specification
>> (i.e., one with an Int.t type).
>
> The real issue is that for the SML/NJ compile, we use some stubs to
> make the Basis Library modules provided by SML/NJ look like they
> have 'int' == 'Int.int' == 'Int32.int'.
>
> Anyways, the solution is pretty much the same as before. Generate
> the files on a machine with MLton's tools and copy them over. I've
> included
> ones from my machine.
> <front-end.tgz>
More information about the MLton
mailing list