A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / parser / should_fail / readFail003.stderr
index 963bc50..2dca583 100644 (file)
@@ -1,7 +1,7 @@
 
 readFail003.hs:4:27: error:
     • Occurs check: cannot construct the infinite type:
-        t ~ (t, [a1], [a])
+        a2 ~ (a2, [a1], [a])
     • In the expression: a
       In a pattern binding:
         ~(a, b, c)
@@ -11,6 +11,6 @@ readFail003.hs:4:27: error:
           where
               nullity = null
     • Relevant bindings include
-        a :: t (bound at readFail003.hs:4:3)
+        a :: a2 (bound at readFail003.hs:4:3)
         b :: [a1] (bound at readFail003.hs:4:5)
         c :: [a] (bound at readFail003.hs:4:7)