>> 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.