[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