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
Edited by Kai Prott