[MLton] -stop tc -warn-match false bug
Stephen Weeks
MLton@mlton.org
Sat, 31 Jan 2004 20:03:39 -0800
> [fluet@localhost test]$ mlton -stop tc -warn-match false -verbose 1 z.sml
> MLton MLTONVERSION (built Sat Jan 31 19:12:20 2004 on localhost)
> MLton starting
> Type Check SML starting
> Type Check SML raised in 2.79 + 1.50 (35% GC)
> MLton raised in 2.79 + 1.50 (35% GC)
> T has no conTycon property
Yeah, the problem is that with -stop tc -warn-match false I left the
defunctorizer running, and that doesn't make sense, since the
elaborator doesn't even generate sensible code with those flags. I've
checked in a fix.