[project @ 2000-12-12 17:21:40 by simonmar]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail080.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail080.stderr b/ghc/tests/typecheck/should_fail/tcfail080.stderr
index 3096a5e..c5c6f22 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail080.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail080.stderr
@@ -1,9 +1,7 @@
- 
-tcfail080.hs:11:
-    Ambiguous type variable(s)
-    `ar9'
-       in the constraint `Collection ar9 arc'
-       arising from use of `singleton' at tcfail080.hs:11
-
 
-Compilation had errors
+tcfail080.hs:11:
+    Ambiguous type variable(s) `c' in the constraint `Collection c a'
+    arising from use of `singleton' at tcfail080.hs:11
+    In the first argument of `isempty', namely `(singleton x)'
+    In the right-hand side of an equation for `q':
+       isempty (singleton x)