When some of the patterns in a function definition orcase expression contain guards, the compiler givesfalse warnings about non-exhaustive pattern matches. Apity, because this kind of warning is very usefulindeed!For example, I get >ghc --make -Wall See.hs ghc-5.02.1: chasing modules from: See.hs Compiling See ( See.hs, ./See.o ) See.hs:17: Warning: Pattern match(es) arenon-exhaustive In the definition of `insert': Patterns not matched: _ _ (TREE _ _ _ _) See.hs:41: Warning: Pattern match(es) arenon-exhaustive In a case alternative EMPTY: Patterns not matched:TREE _ _ _ _for the attached file.[I am not sure filling in the e-mail address box hadany effect on the last two complaints I submitted, so Irepeat my address here:feliks@crt.se]