[MLton-devel] Porting from Moscow ML

[Joe Hurd]

Thanks for your help; I've now succeeded in porting my first-order
prover to MLton. It's passed my regression test, so it agrees with the
Moscow ML implementation, and appears to run ~5-10 times faster.  I'm
now in the process of applying it to some harder problems to get a
better picture of its performance. I'll try to create a nice benchmark
executable along the way.

By the way, I discovered an annoying difference between MLton and
Moscow ML, which has to do with the way they print real numbers.

The following in Moscow ML

- Real.fmt (StringCvt.FIX (SOME 3)) 1.0;
> val it = "1.000" : string

comes out as "1.0" in MLton. Is the standard ambiguous on this, or is
one of the ML implementations deviant?

Regards,

Joe



-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel