Commit b6bb38e0 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-11-28 17:30:27 by simonpj]

update expected output
parent 5a94d528
cc001.hs:5:
Ambiguous type variable(s) `t'
in the constraint `GHC.Prim.CCallable t'
arising from an argument in the _ccall_ to `foo', namely `(undefined ())' at cc001.hs:5
in the constraint (GHC.Prim.CCallable t)
arising from an argument in the _ccall_ to `foo', namely `(undefined ())' at cc001.hs:5
In a right-hand side of function `f': _ccall_ foo (undefined ())
In the definition of `f': f = _ccall_ foo (undefined ())
cc004.hs:8:
Ambiguous type variable(s) `a' in the constraint `Num a'
arising from use of `+' at cc004.hs:8
Ambiguous type variable(s) `a' in the constraint (Num a)
arising from use of `+' at cc004.hs:8
Possible cause: the monomorphism restriction applied to the following:
foo :: IO a (bound at cc004.hs:8)
In the first argument of `return', namely `(a + 1)'
In the body of a lambda: return (a + 1)
In a lambda abstraction: \ a -> return (a + 1)
cc004.hs:8:
Ambiguous type variable(s) `a'
in the constraint `GHC.Prim.CReturnable a'
arising from the result of the _ccall_ to `f' at cc004.hs:8
in the constraint (GHC.Prim.CReturnable a)
arising from the result of the _ccall_ to `f' at cc004.hs:8
Possible cause: the monomorphism restriction applied to the following:
foo :: IO a (bound at cc004.hs:8)
In the first argument of `thenADR', namely `_ccall_ f'
In a right-hand side of function `foo':
(_ccall_ f) `thenADR` (\ a -> return (a + 1))
In the definition of `foo':
foo = (_ccall_ f) `thenADR` (\ a -> return (... + 1))
where
thenADR :: forall a b. IO a -> (a -> IO b) -> IO b
thenADR = (>>=)
cc004.hs:15:
Ambiguous type variable(s) `a' in the constraint `Num a'
arising from use of `+' at cc004.hs:15
Ambiguous type variable(s) `a' in the constraint (Num a)
arising from use of `+' at cc004.hs:15
Possible cause: the monomorphism restriction applied to the following:
bar :: IO a (bound at cc004.hs:15)
In the first argument of `return', namely `(a + 1)'
In the body of a lambda: return (a + 1)
In a lambda abstraction: \ a -> return (a + 1)
cc004.hs:15:
Ambiguous type variable(s) `a'
in the constraint `GHC.Prim.CReturnable a'
arising from the result of the _ccall_ to `f' at cc004.hs:15
in the constraint (GHC.Prim.CReturnable a)
arising from the result of the _ccall_ to `f' at cc004.hs:15
Possible cause: the monomorphism restriction applied to the following:
bar :: IO a (bound at cc004.hs:15)
In the first argument of `thenADR', namely `_ccall_ f'
In a right-hand side of function `bar':
(_ccall_ f) `thenADR` (\ a -> return (a + 1))
In the definition of `bar':
bar = (_ccall_ f) `thenADR` (\ a -> return (... + 1))
where
thenADR = (>>=)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment