Commit f579d5f4 authored by simonpj's avatar simonpj
Browse files

[project @ 2003-02-19 14:42:23 by simonpj]

Update expected output
parent e8c19157
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 a right-hand side of function `f': _ccall_ foo (undefined ())
In the definition of `f': f = _ccall_ foo (undefined ())
cc001.hs:2:
Ambiguous type variable `t' in the top-level constraint:
`GHC.Prim.CCallable t'
arising from an argument in the _ccall_ to `foo', namely `(undefined ())' at cc001.hs:5
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
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
cc004.hs:2:
Ambiguous type variable `a' in these top-level constraints:
`Num a' arising from use of `+' at cc004.hs:15
`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 `return', namely `(a + 1)'
In the body of a lambda: return (a + 1)
In a lambda abstraction: \ a -> return (a + 1)
Probable fix: give these definition(s) an explicit type signature
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
cc004.hs:2:
Ambiguous type variable `a' in these top-level constraints:
`Num a' arising from use of `+' at cc004.hs:8
`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:
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 = (>>=)
foo :: IO a (bound at cc004.hs:8)
Probable fix: give these definition(s) an explicit type signature
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