Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / T3169.stderr
index 7ca72f9..3e4a950 100644 (file)
@@ -1,28 +1,16 @@
 
 T3169.hs:13:22:
-    Could not deduce (Map a ~ MP a b)
-    from the context (Key a, Key b)
-      bound by the instance declaration at T3169.hs:10:10-36
-    Expected type: Map a (Map b elt)
-      Actual type: Map (a, b) elt
-    In the second argument of `lookup', namely `m'
-    In the expression: lookup a m :: Maybe (Map b elt)
-    In the expression:
-      case lookup a m :: Maybe (Map b elt) of {
-        Just (m2 :: Map b elt) -> lookup b m2 :: Maybe elt }
-
-T3169.hs:13:22:
-    Could not deduce (elt ~ Map b elt)
-    from the context (Key a, Key b)
-      bound by the instance declaration at T3169.hs:10:10-36
-      `elt' is a rigid type variable bound by
-            the type signature for
-              lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
+    Couldn't match type ‘elt’ with ‘Map b elt’
+      ‘elt’ is a rigid type variable bound by
+            the type signature for:
+            lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
             at T3169.hs:12:3
     Expected type: Map a (Map b elt)
       Actual type: Map (a, b) elt
-    In the second argument of `lookup', namely `m'
+    Relevant bindings include
+      m :: Map (a, b) elt (bound at T3169.hs:12:17)
+      b :: b (bound at T3169.hs:12:13)
+      lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
+        (bound at T3169.hs:12:3)
+    In the second argument of ‘lookup’, namely ‘m’
     In the expression: lookup a m :: Maybe (Map b elt)
-    In the expression:
-      case lookup a m :: Maybe (Map b elt) of {
-        Just (m2 :: Map b elt) -> lookup b m2 :: Maybe elt }