4bc39a731be9e49f4e199652c1d4bae69d8eb50f
[ghc.git] / testsuite / tests / gadt / T3169.stderr
1
2 T3169.hs:13:22: error:
3     • Couldn't match type ‘elt’ with ‘Map b elt’
4       ‘elt’ is a rigid type variable bound by
5         the type signature for:
6           lookup :: forall elt. (a, b) -> Map (a, b) elt -> Maybe elt
7         at T3169.hs:12:3-8
8       Expected type: Map a (Map b elt)
9         Actual type: Map (a, b) elt
10     • In the second argument of ‘lookup’, namely ‘m’
11       In the expression: lookup a m :: Maybe (Map b elt)
12       In the expression:
13         case lookup a m :: Maybe (Map b elt) of {
14           Just (m2 :: Map b elt) -> lookup b m2 :: Maybe elt }
15     • Relevant bindings include
16         m :: Map (a, b) elt (bound at T3169.hs:12:17)
17         b :: b (bound at T3169.hs:12:13)
18         lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
19           (bound at T3169.hs:12:3)