Wrong warning for missing pattern with qualified Type
It seems that the lookup for the defined constructors of a specific type is done unqualified when the warnings for missing patterns are issued.
Consider the following setup:
module Ex1 where data T = C1
module Ex2 where data T = C2
import Ex1 import qualified Ex2 test2 :: Ex2.T -> Int test2 Ex2.C2 = 2 test1 :: T -> Int test1 C1 = 1
Then the following (obviously wrong) warning is issued.
Test.curry, line 5.1: Warning: Pattern matches are non-exhaustive In an equation for `test2': Patterns not matched: Ex2.C1
This was already broken before #16 (closed) got fixed