[MLton-devel] minor nits with new compiler

Matthew Fluet fluet@CS.Cornell.EDU
Fri, 12 Apr 2002 13:27:17 -0400 (EDT)


> > [fluet@lennon temp]$ cat z.sml
> > val _ = print "Hello World\n";
> > [fluet@lennon temp]$ mlton -keep o z.sml 
> > [fluet@lennon temp]$ nm z.0.o z.o  | grep U
> ...
> >          U IntInf_init
> 
> Odd.  When I do the same test, my .o files do *not* contain
> IntInf_init.  The only explanation I can think of is that I use gcc
> 3.0.3.  Are you using an older version?

Looks like it. (cfsNN is our Linux cluster where I do self-compiles.)

[fluet@lennon fluet]$ gcc -v
Reading specs from /usr/lib/gcc-lib/i586-mandrake-linux/2.95.3/specs
gcc version 2.95.3 19991030 (prerelease)
[fluet@cfs18 ~ 1]% gcc -v
Reading specs from /usr/lib/gcc-lib/i386-redhat-linux/2.96/specs
gcc version 2.96 20000731 (Red Hat Linux 7.1 2.96-85)

> > I checked in a new main.sml that lifts the -O switch to being common in
> > both -native true and -native false.  That seems to fix the problem (so
> > long as you don't compile with -O0).
> 
> Sounds good.  Given this, there's no need to split out IntInf_init
> from IntInf.c, right?

Correct.  I was just following up on Henry's observations.


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