[MLton-devel] Re: finalization in MLton

[Stephen Weeks]

> I now have a way to reproduce the error I reported.
> 
> If I compile mlton-20030419 with the command
> 
>         make all install
> 
> (which will then use the MLton from Debian sid) then I get the error.
> 
> But if I compile mlton-20030419 with the command
> 
>         make clean bootstrap install
> 
> then I don't get any errors when I compile omega-mlton.cm.

Aha.  The problem occurs because "make all install" uses stubs to
makes MLton with an older version, and these stubs turn on asserts in
MLton, which catches the problem.  Making mlton the second time (which
make bootstrap does) makes MLton without stubs, which turns off
asserts, which doesn't catch the problem.

You should always do a make bootstrap when starting from clean
sources.  In fact, I've changed our top-level Makefile to make that
the default target.

Also, I've checked in a fix so that even if asserts are turned on, the
simplifier won't fail due to this bug.


-------------------------------------------------------
This SF.net email is sponsored by: If flattening out C++ or Java
code to make your application fit in a relational database is painful, 
don't do it! Check out ObjectStore. Now part of Progress Software.
http://www.objectstore.net/sourceforge
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel