I know that those warnings below are longstanding buglets, but would
it be possible to remove them before the release of 4.07? I had a
medium-quick look at the desugarer/type checker, but with no real
success.
-------------------------------------------------
module Foo where
import Complex
bar :: String -> Int
bar "ab" = 1
bar "c" = 2
bar _ = 3
baz :: Complex Float -> Int
baz 0 = 11
baz (_ :+ _) = 22
-------------------------------------------------
panne@jeanluc:~ > ghc -Wall -c Foo.hs
Foo.hs:5: Pattern match(es) are overlapped in the definition of function
`bar':
bar "c" = ...
Foo.hs:10: Pattern match(es) are overlapped in the definition of
function `baz':
baz (_ (:+) _) = ...
Foo.hs:10: Pattern match(es) are non-exhaustive in the definition of
function `baz':
Patterns not matched: (#x) with (#x) `notElem` [0]
-------------------------------------------------
Cheers,
Sven
--
Sven Panne Tel.: +49/89/2178-2235
LMU, Institut fuer Informatik FAX : +49/89/2178-2211
LFE Programmier- und Modellierungssprachen Oettingenstr. 67
mailto:[EMAIL PROTECTED] D-80538 Muenchen
http://www.informatik.uni-muenchen.de/~Sven.Panne
