[project @ 1997-09-05 14:11:05 by simonm]
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail033.stderr
index 68a7964..4e664ee 100644 (file)
@@ -1,9 +1,9 @@
  
 tcfail033.hs:4: Cannot construct the infinite type (occur check)
-                   `taGt' = `(taGt, taGw)'
-    Expected: `aaGy (taGt, taGw)'
-    Inferred: `aaGy taGt'
-    In a pattern binding: `buglet = [ x | (x, y) <- buglet ]'
+                   `taGA' = `(taGA, taGD)'
+    Expected: `aaGF taGA'
+    Inferred: `aaGF (taGA, taGD)'
+    In a pattern binding: `buglet = [x | (x, y) <- buglet]'
 
 
 Compilation had errors