A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / gadt / gadt7.stderr
index e66226e..f75e8c5 100644 (file)
@@ -1,20 +1,20 @@
 
 gadt7.hs:16:38: error:
-    • Couldn't match expected type ‘t’ with actual type ‘t1’
-        ‘t’ is untouchable
+    • Couldn't match expected type ‘p’ with actual type ‘p1’
+        ‘p1’ is untouchable
           inside the constraints: a ~ Int
           bound by a pattern with constructor: K :: T Int,
                    in a case alternative
           at gadt7.hs:16:33
-      ‘t’ is a rigid type variable bound by
-        the inferred type of i1b :: T a -> t1 -> t at gadt7.hs:16:1-44
-      ‘t1’ is a rigid type variable bound by
-        the inferred type of i1b :: T a -> t1 -> t at gadt7.hs:16:1-44
+      ‘p1’ is a rigid type variable bound by
+        the inferred type of i1b :: T a -> p1 -> p at gadt7.hs:16:1-44
+      ‘p’ is a rigid type variable bound by
+        the inferred type of i1b :: T a -> p1 -> p at gadt7.hs:16:1-44
       Possible fix: add a type signature for ‘i1b’
     • In the expression: y1
       In a case alternative: K -> y1
       In the expression: case t1 of { K -> y1 }
     • Relevant bindings include
-        y1 :: t1 (bound at gadt7.hs:16:16)
-        y :: t1 (bound at gadt7.hs:16:7)
-        i1b :: T a -> t1 -> t (bound at gadt7.hs:16:1)
+        y1 :: p1 (bound at gadt7.hs:16:16)
+        y :: p1 (bound at gadt7.hs:16:7)
+        i1b :: T a -> p1 -> p (bound at gadt7.hs:16:1)