A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / typecheck / should_compile / ExPatFail.stderr
index 696bff7..6cc24fc 100644 (file)
@@ -1,6 +1,6 @@
 
 ExPatFail.hs:12:15: error:
-    • Couldn't match expected type ‘t’ with actual type ‘a’
+    • Couldn't match expected type ‘p’ with actual type ‘a’
         because type variable ‘a’ would escape its scope
       This (rigid, skolem) type variable is bound by
         a pattern with constructor:
@@ -11,4 +11,4 @@ ExPatFail.hs:12:15: error:
       In a pattern binding: MkT y _ = x
       In the expression: let MkT y _ = x in y
     • Relevant bindings include
-        f :: T -> t (bound at ExPatFail.hs:12:1)
+        f :: T -> p (bound at ExPatFail.hs:12:1)