Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / T3169.stderr
1
2 T3169.hs:13:22:
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 :: (a, b) -> Map (a, b) elt -> Maybe elt
7             at T3169.hs:12:3
8     Expected type: Map a (Map b elt)
9       Actual type: Map (a, b) elt
10     Relevant bindings include
11       m :: Map (a, b) elt (bound at T3169.hs:12:17)
12       b :: b (bound at T3169.hs:12:13)
13       lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
14         (bound at T3169.hs:12:3)
15     In the second argument of ‘lookup’, namely ‘m’
16     In the expression: lookup a m :: Maybe (Map b elt)