Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail033.stderr
index e349ab1..bc346c2 100644 (file)
@@ -1,10 +1,10 @@
 
 tcfail033.hs:4:12: error:
-    • Occurs check: cannot construct the infinite type: t1 ~ (t1, t)
+    • Occurs check: cannot construct the infinite type: a ~ (a, b)
     • In the expression: x
       In the expression: [x | (x, y) <- buglet]
       In an equation for ‘buglet’: buglet = [x | (x, y) <- buglet]
     • Relevant bindings include
-        y :: t (bound at tcfail033.hs:4:19)
-        x :: t1 (bound at tcfail033.hs:4:17)
-        buglet :: [(t1, t)] (bound at tcfail033.hs:4:1)
+        y :: b (bound at tcfail033.hs:4:19)
+        x :: a (bound at tcfail033.hs:4:17)
+        buglet :: [(a, b)] (bound at tcfail033.hs:4:1)