[project @ 2001-07-23 17:28:33 by simonmar]

[ghc-hetmet.git] / ghc / tests / ccall / should_fail / cc004.stderr

diff --git a/ghc/tests/ccall/should_fail/cc004.stderr b/ghc/tests/ccall/should_fail/cc004.stderr
index 11f5d85..7f24156 100644 (file)
--- a/ghc/tests/ccall/should_fail/cc004.stderr
+++ b/ghc/tests/ccall/should_fail/cc004.stderr
@@ -1,11 +1,34 @@
 
-cc004.hs:2:
-    Cannot generalise these overloadings (in a _ccall_):
-       `CReturnable b' arising from the result of the _ccall_ to `f' at cc004.hs:15
+Cannot generalise these overloadings (in a _ccall_):
+    PrelGHC.CReturnable a arising from the result of the _ccall_ to `f' at cc004.hs:8
 
-cc004.hs:2:
-    Cannot generalise these overloadings (in a _ccall_):
-       `CReturnable b' arising from the result of the _ccall_ to `f' at cc004.hs:8
+Cannot generalise these overloadings (in a _ccall_):
+    PrelGHC.CReturnable a arising from the result of the _ccall_ to `f' at cc004.hs:15
 
-Compilation had errors
+cc004.hs:8:
+    Ambiguous type variable(s) `a'
+       in the constraint `PrelGHC.CReturnable a'
+    arising from the result of the _ccall_ to `f' at cc004.hs:8
+    In the first argument of `thenADR', namely `_ccall_ f'
+    in the definition of function `foo':
+       (_ccall_ f) `thenADR` (\ a -> return (a + 1))
 
+cc004.hs:8:
+    Ambiguous type variable(s) `a' in the constraint `Num a'
+    arising from the literal `1' at cc004.hs:8
+    In the second argument of `(+)', namely `1'
+    In the first argument of `return', namely `(a + 1)'
+
+cc004.hs:15:
+    Ambiguous type variable(s) `a'
+       in the constraint `PrelGHC.CReturnable a'
+    arising from the result of the _ccall_ to `f' at cc004.hs:15
+    In the first argument of `thenADR', namely `_ccall_ f'
+    in the definition of function `bar':
+       (_ccall_ f) `thenADR` (\ a -> return (a + 1))
+
+cc004.hs:15:
+    Ambiguous type variable(s) `a' in the constraint `Num a'
+    arising from the literal `1' at cc004.hs:15
+    In the second argument of `(+)', namely `1'
+    In the first argument of `return', namely `(a + 1)'