From 5d895e50f16be8fa96867172814cd55c52f785a2 Mon Sep 17 00:00:00 2001 From: rrt Date: Thu, 8 Feb 2001 09:53:08 +0000 Subject: [PATCH] [project @ 2001-02-08 09:53:08 by rrt] New error message (same error, ythink). --- ghc/tests/ccall/should_fail/cc004.stderr | 30 ++++++++++++++++++++++++++---- 1 file changed, 26 insertions(+), 4 deletions(-) diff --git a/ghc/tests/ccall/should_fail/cc004.stderr b/ghc/tests/ccall/should_fail/cc004.stderr index 30df2fb..a6c1804 100644 --- a/ghc/tests/ccall/should_fail/cc004.stderr +++ b/ghc/tests/ccall/should_fail/cc004.stderr @@ -1,6 +1,28 @@ -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:8: + Ambiguous type variable(s) `a' in the constraint `Num a' + arising from use of `+' at cc004.hs:8 + In the first argument of `return', namely `(a + 1)' + In the right-hand side of a lambda abstraction: return (a + 1) -Cannot generalise these overloadings (in a _ccall_): - `PrelGHC.CReturnable a' arising from the result of the _ccall_ to `f' at cc004.hs:15 +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 right-hand side of an equation for `foo': + (_ccall_ f) `thenADR` (\ a -> return (a + 1)) + +cc004.hs:15: + Ambiguous type variable(s) `a' in the constraint `Num a' + arising from use of `+' at cc004.hs:15 + In the first argument of `return', namely `(a + 1)' + In the right-hand side of a lambda abstraction: return (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 right-hand side of an equation for `bar': + (_ccall_ f) `thenADR` (\ a -> return (a + 1)) -- 1.7.10.4