3 Ambiguous type variable(s) `a'
4 in the constraint `PrelGHC.CReturnable a'
5 arising from the result of the _ccall_ to `f' at cc004.hs:8
6 In the first argument of `thenADR', namely `_ccall_ f'
7 In the definition of `foo':
8 (_ccall_ f) `thenADR` (\ a -> return (a + 1))
11 Ambiguous type variable(s) `a' in the constraint `Num a'
12 arising from the literal `1' at cc004.hs:8
13 In the second argument of `(+)', namely `1'
14 In the first argument of `return', namely `(a + 1)'
17 Ambiguous type variable(s) `a'
18 in the constraint `PrelGHC.CReturnable a'
19 arising from the result of the _ccall_ to `f' at cc004.hs:15
20 In the first argument of `thenADR', namely `_ccall_ f'
21 In the definition of `bar':
22 (_ccall_ f) `thenADR` (\ a -> return (a + 1))
25 Ambiguous type variable(s) `a' in the constraint `Num a'
26 arising from the literal `1' at cc004.hs:15
27 In the second argument of `(+)', namely `1'
28 In the first argument of `return', namely `(a + 1)'