A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / polykinds / T7438.stderr
index 9f8f62e..7a079ff 100644 (file)
@@ -1,19 +1,19 @@
 
 T7438.hs:6:14: 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: b ~ a
           bound by a pattern with constructor:
                      Nil :: forall k (a :: k). Thrist a a,
                    in an equation for ‘go’
           at T7438.hs:6:4-6
-      ‘t’ is a rigid type variable bound by
-        the inferred type of go :: Thrist a b -> t1 -> t at T7438.hs:6:1-16
-      ‘t1’ is a rigid type variable bound by
-        the inferred type of go :: Thrist a b -> t1 -> t at T7438.hs:6:1-16
+      ‘p1’ is a rigid type variable bound by
+        the inferred type of go :: Thrist a b -> p1 -> p at T7438.hs:6:1-16
+      ‘p’ is a rigid type variable bound by
+        the inferred type of go :: Thrist a b -> p1 -> p at T7438.hs:6:1-16
       Possible fix: add a type signature for ‘go’
     • In the expression: acc
       In an equation for ‘go’: go Nil acc = acc
     • Relevant bindings include
-        acc :: t1 (bound at T7438.hs:6:8)
-        go :: Thrist a b -> t1 -> t (bound at T7438.hs:6:1)
+        acc :: p1 (bound at T7438.hs:6:8)
+        go :: Thrist a b -> p1 -> p (bound at T7438.hs:6:1)