[MLton-devel] Porting from Moscow ML

Joe Hurd joe.hurd@cl.cam.ac.uk
Mon, 23 Sep 2002 23:40:29 +0100 (BST)

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?



This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
MLton-devel mailing list