Merge branch 'master' of http://darcs.haskell.org/testsuite
[ghc.git] / testsuite / tests / gadt / T3169.stderr
1 \r
2 T3169.hs:13:13:\r
3     Couldn't match type `elt' with `Map b elt'\r
4       `elt' is a rigid type variable bound by\r
5             the type signature for\r
6               lookup :: (a, b) -> Map (a, b) elt -> Maybe elt\r
7             at T3169.hs:12:3\r
8     Expected type: Maybe (Map b elt)\r
9       Actual type: Maybe elt\r
10     In the return type of a call of `lookup'\r
11     In the expression: lookup a m :: Maybe (Map b elt)\r