[MLton] Bug report

Neophytos Michael nmichael@yahoo.com
Sat, 10 Jul 2004 21:00:35 -0700 (PDT)


The following program raises exception "UnequalLengths".  I am guessing it
shouldn't.  The session is below:

-----------------------------------------------------------
val l1 = [1]
val l2 = [2]

val x = ListPair.foldlEq (fn (_, _, x) => x) 0 (l1, l2)
------------------------------------------------------------

Neophytos


$ mlton -verbose 1 mlton_bug.sml 
MLton 20040227 (built Fri Feb 27 20:03:01 2004 on cygwin)
MLton starting
   Compile SML starting
      pre codegen starting
      pre codegen finished in 1.44 + 1.25 (47% GC)
      x86 code gen starting
      x86 code gen finished in 0.08 + 0.00 (0% GC)
   Compile SML finished in 1.51 + 1.25 (45% GC)
   Compile C and Assemble starting
      gcc -c -I/usr/lib/mlton/include -O1 -fno-strict-aliasing \
          -fomit-frame-pointer -w -fno-strength-reduce -fschedule-insns \
          -fschedule-insns2 -malign-functions=5 -malign-jumps=2 \
          -malign-loops=2 -mcpu=pentiumpro -o /tmp/file9o3zwp.o \
          /tmp/fileVWy6SX.1.c
      gcc -c -o /tmp/file2MwXkS.o /tmp/fileaR5MDt.0.S
   Compile C and Assemble finished in 0.49 + 0.00 (0% GC)
   Link starting
      gcc -o mlton_bug /tmp/file9o3zwp.o /tmp/file2MwXkS.o \
          -L/usr/lib/mlton/self -lmlton -lgmp -lgdtoa -lm
   Link finished in 0.31 + 0.00 (0% GC)
MLton finished in 2.33 + 1.25 (35% GC)

Neophytos@dedalos ~/Develop/FinLib
$ mlton_bug
unhandled exception: UnequalLengths




		
__________________________________
Do you Yahoo!?
New and Improved Yahoo! Mail - Send 10MB messages!
http://promotions.yahoo.com/new_mail