[MLton] Implementing warnExnMatch

Andreas Rossberg rossberg@ps.uni-sb.de
Wed, 27 Jul 2005 21:30:14 +0200 (CEST)


>> The MLKit gives a warning.  HaMLet does not give a redundant match
>> warning.
>
> That looks like a bug in HaMLet?

How embarassing. Due to a stupid "optimisation", redundant matches are
only discovered under some circumstances. Fixed in CVS.