Update outputs following the unicode quote change in GHC's output
[ghc.git] / testsuite / tests / gadt / T3169.stderr
1
2 T3169.hs:13:22:
3     Could not deduce (elt ~ Map b elt)
4     from the context (Key a, Key b)
5       bound by the instance declaration at T3169.hs:10:10-36
6       ‛elt’ is a rigid type variable bound by
7             the type signature for
8               lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
9             at T3169.hs:12:3
10     Expected type: Map a (Map b elt)
11       Actual type: Map (a, b) elt
12     Relevant bindings include
13       lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
14         (bound at T3169.hs:12:3)
15       b :: b (bound at T3169.hs:12:13)
16       m :: Map (a, b) elt (bound at T3169.hs:12:17)
17     In the second argument of ‛lookup’, namely ‛m’
18     In the expression: lookup a m :: Maybe (Map b elt)
19     In the expression:
20       case lookup a m :: Maybe (Map b elt) of {
21         Just (m2 :: Map b elt) -> lookup b m2 :: Maybe elt }