A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / typecheck / should_fail / T9109.stderr
index 996da6e..f30c49b 100644 (file)
@@ -1,15 +1,14 @@
-\r
-T9109.hs:8:13: error:\r
-    • Couldn't match expected type ‘t’ with actual type ‘Bool’\r
-        ‘t’ is untouchable\r
-          inside the constraints: t1 ~ Bool\r
-          bound by a pattern with constructor: GBool :: G Bool,\r
-                   in an equation for ‘foo’\r
-          at T9109.hs:8:5-9\r
-      ‘t’ is a rigid type variable bound by\r
-        the inferred type of foo :: G t1 -> t at T9109.hs:8:1-16\r
-      Possible fix: add a type signature for ‘foo’\r
-    • In the expression: True\r
-      In an equation for ‘foo’: foo GBool = True\r
-    • Relevant bindings include\r
-        foo :: G t1 -> t (bound at T9109.hs:8:1)\r
+
+T9109.hs:8:13: error:
+    • Couldn't match expected type ‘p’ with actual type ‘Bool’
+        ‘p’ is untouchable
+          inside the constraints: a ~ Bool
+          bound by a pattern with constructor: GBool :: G Bool,
+                   in an equation for ‘foo’
+          at T9109.hs:8:5-9
+      ‘p’ is a rigid type variable bound by
+        the inferred type of foo :: G a -> p at T9109.hs:8:1-16
+      Possible fix: add a type signature for ‘foo’
+    • In the expression: True
+      In an equation for ‘foo’: foo GBool = True
+    • Relevant bindings include foo :: G a -> p (bound at T9109.hs:8:1)