[MLton] nj-mlton on amd64 linux broken?

Matthew Fluet fluet at tti-c.org
Wed Sep 10 15:50:55 PDT 2008


On Wed, 10 Sep 2008, Matthew Fluet wrote:
> An SML/NJ compiled MLton does all the Assert.assert checks (while a MLton 
> compiled MLton does not), so the final assembly is being run through the 
> amd64Validate module (<src>/mlton/codegen/amd64-codegen/amd64-validate.fun), 
> which (in its x86 incarnation) was meant to more informative than gas syntax 
> errors during the initial development of the native codegen.

Another alternative is to kill off the {amd64,x86}Validate modules 
entirely.  Their utility has waned considerably and they have been a 
hindrance more often than a help when tweaking the codegens.



More information about the MLton mailing list