[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