[MLton-devel] Re: finalization in MLton

Ken Friis Larsen kfl@it.edu
18 May 2003 21:08:00 +0100


Matthew Fluet <fluet@cs.cornell.edu> writes:
> > The example works with mlton-20030419 but if I try to use yesterdays
> > CVS mlton, then MLton spews tons of SSA SML at me and ends with:
> >       unhandled exception: TypeError
> 
> Yes, I see that as well.  Although, it's actually a tone of XML SML.
                                                              ^^^
But where are all the tags? ;-)

> We'll look into it.

Thanks!

> 
> > But yesterdays CVS mlton works better for me on one of my other
> > programs.  Where mlton-20030419 ends the compilation with:
> >       shrinker raised Prim.apply raised assertion failure: SmallIntInf.fromWord
> 
> Hmm.  Could you send that program as well?  I don't recall any changes to
> the codebase that would specifically affect something like that.

It is by no means a minimal example, but you can find a snapshot of
the code here:
        http://www.it.edu/people/kfl/tmp/omega.tgz

Cheers,

--Ken


-------------------------------------------------------
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