[MLton-user] experimental release 20051109

Stephen Weeks sweeks@sweeks.com
Sun, 13 Nov 2005 13:08:29 -0800


> Trying to compile a program with profiling enabled produced the  
> following error:
> 
> <jhr@moby> mlton -profile time -output prt.prof prtsim.mlb
> /var/tmp//ccKO2ZxO.s:2047:FATAL:Symbol _MLtonProfile359 already defined.
> call to system failed with exit status 1:
> gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 -fno-strict- 
> aliasing -fomit-frame-pointer -w -I/sw/include -o /tmp/fileI9Y1IR.o / 
> tmp/filexFJ5cY.6.c

Hmm.  The code compiled fine on my MacOSX machine using MLton 20051109
with -profile time.  The log is below.  I don't have any idea why we
would see different generated code.  Could you compile with -keep g
and send me a tgz with the generated C code (prtsim.[0-6].c)?  Also,
would you please send a log of the compile with -verbose 1.

----------------------------------------------------------------------
prt% mlton -verbose 1 -output prt.prof -profile time prtsim.mlb
MLton 20051109 (built Wed Nov 09 15:02:57 2005 on darwin.sweeks.com)
MLton starting
   Compile SML starting
      pre codegen starting
      pre codegen finished in 21.09 + 9.66 (31% GC)
      C code gen starting
      C code gen finished in 0.54 + 0.00 (0% GC)
   Compile SML finished in 21.63 + 9.66 (31% GC)
   Compile C and Assemble starting
      gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
          -fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
          /tmp/fileI9Y1IR.o /tmp/filexFJ5cY.6.c
      gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
          -fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
          /tmp/fileOTwzB7.o /tmp/fileEpqF1n.5.c
      gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
          -fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
          /tmp/fileFDHk89.o /tmp/file8rqcS5.4.c
      gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
          -fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
          /tmp/fileY663C1.o /tmp/fileiJAUQP.3.c
      gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
          -fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
          /tmp/fileuXtCMJ.o /tmp/fileTBgHT9.2.c
      gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
          -fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
          /tmp/fileKddlIX.o /tmp/fileRu8V4o.1.c
      gcc -std=gnu99 -c -I/usr/local/lib/mlton/include -O1 \
          -fno-strict-aliasing -fomit-frame-pointer -w -I/sw/include -o \
          /tmp/fileNSmrDm.o /tmp/file0VMCkN.0.c
   Compile C and Assemble finished in 32.53 + 0.02 (0% GC)
   Link starting
      gcc -std=gnu99 -o prt.prof /tmp/fileI9Y1IR.o /tmp/fileOTwzB7.o \
          /tmp/fileFDHk89.o /tmp/fileY663C1.o /tmp/fileuXtCMJ.o \
          /tmp/fileKddlIX.o /tmp/fileNSmrDm.o -L/usr/local/lib/mlton/self \
          -lmlton -lgmp -lgdtoa -lm
   Link finished in 0.23 + 0.00 (0% GC)
MLton finished in 54.72 + 10.23 (16% GC)