Improve typechecking of let-bindings
[ghc.git] / testsuite / tests / gadt / T3169.stderr
1 \r
2 T3169.hs:13:22: error:\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 :: forall elt. (a, b) -> Map (a, b) elt -> Maybe elt\r
7         at T3169.hs:12:3-8\r
8       Expected type: Map a (Map b elt)\r
9         Actual type: Map (a, b) elt\r
10     • In the second argument of ‘lookup’, namely ‘m’\r
11       In the expression: lookup a m :: Maybe (Map b elt)\r
12       In the expression:\r
13         case lookup a m :: Maybe (Map b elt) of {\r
14           Just (m2 :: Map b elt) -> lookup b m2 :: Maybe elt }\r
15     • Relevant bindings include\r
16         m :: Map (a, b) elt (bound at T3169.hs:12:17)\r
17         b :: b (bound at T3169.hs:12:13)\r
18         lookup :: (a, b) -> Map (a, b) elt -> Maybe elt\r
19           (bound at T3169.hs:12:3)\r