A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / gadt / gadt-escape1.stderr
index 056d451..41322f9 100644 (file)
@@ -1,19 +1,19 @@
 
 gadt-escape1.hs:19:58: error:
-    • Couldn't match type ‘t’ with ‘ExpGADT Int’
-        ‘t’ is untouchable
-          inside the constraints: t1 ~ Int
+    • Couldn't match type ‘p’ with ‘ExpGADT Int’
+        ‘p’ is untouchable
+          inside the constraints: t ~ Int
           bound by a pattern with constructor: ExpInt :: Int -> ExpGADT Int,
                    in a case alternative
           at gadt-escape1.hs:19:43-50
-      ‘t’ is a rigid type variable bound by
-        the inferred type of weird1 :: t at gadt-escape1.hs:19:1-58
+      ‘p’ is a rigid type variable bound by
+        the inferred type of weird1 :: p at gadt-escape1.hs:19:1-58
       Possible fix: add a type signature for ‘weird1’
-      Expected type: t
-        Actual type: ExpGADT t1
+      Expected type: p
+        Actual type: ExpGADT t
     • In the expression: a
       In a case alternative: Hidden (ExpInt _) a -> a
       In the expression:
         case (hval :: Hidden) of { Hidden (ExpInt _) a -> a }
     • Relevant bindings include
-        weird1 :: t (bound at gadt-escape1.hs:19:1)
+        weird1 :: p (bound at gadt-escape1.hs:19:1)