[MLton-devel] cvs commit: C codegen cleanup

Matthew Fluet fluet@cs.cornell.edu
Wed, 14 May 2003 22:57:17 -0400 (EDT)


> > I'll check again.
>
> I just did a clean checkout, bootstrap, and regressions (-native true)
> without problems.

The problem I'm seeing (on three different systems) is with Real.toString,
which is printing zeros as 0 or ~0 instead of 0.0.  This seems to be a
problem with Real.class.  To be sure, on my system, I see the following:

[fluet@localhost test]$ cat z.sml

val z = 0.0

val c = Real.class z

datatype t = datatype IEEEReal.float_class
val _ =
  case c of
    ZERO => print "ZERO\n"
  | NAN => print "NAN\n"
  | INF => print "INF\n"
  | NORMAL => print "NORMAL\n"
  | SUBNORMAL => print "SUBNORMAL\n"
[fluet@localhost test]$ mlton.cvs.HEAD -native false z.sml
[fluet@localhost test]$ ./z
NORMAL

Where mlton.cvs.HEAD corresponds to a clean checkout.  Right now, I'm on a
system like:
[fluet@localhost test]$ cat /proc/version
Linux version 2.4.19-16mdksmp (quintela@bi.mandrakesoft.com) (gcc version
3.2 (Mandrake Linux 9.0 3.2-1mdk)) #1 SMP Fri Sep 20 16:08:37 CEST 2002
[fluet@localhost test]$ gcc -v
Reading specs from
/usr//bin/../lib/gcc-lib/i586-mandrake-linux-gnu/3.2/specs
Configured with: ../configure --prefix=/usr --libdir=/usr/lib
--with-slibdir=/lib --mandir=/usr/share/man --infodir=/usr/share/info
--enable-shared --enable-threads=posix --disable-checking
--enable-long-long --enable-__cxa_atexit
--enable-languages=c,c++,ada,f77,objc,java --host=i586-mandrake-linux-gnu
--with-system-zlib
Thread model: posix
gcc version 3.2 (Mandrake Linux 9.0 3.2-1mdk)

I'll try to investigate tomorrow; in any event, it seems to be orthogonal
to the Machine.Operand.Runtime changes, so I'll check those in.



-------------------------------------------------------
Enterprise Linux Forum Conference & Expo, June 4-6, 2003, Santa Clara
The only event dedicated to issues related to Linux enterprise solutions
www.enterpriselinuxforum.com

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel