ghc/tests/ccall/should_fail/cc004.stderr

   1
   2 Cannot generalise these overloadings (in a _ccall_):
   3     PrelGHC.CReturnable a arising from the result of the _ccall_ to `f' at cc004.hs:8
   4
   5 Cannot generalise these overloadings (in a _ccall_):
   6     PrelGHC.CReturnable a arising from the result of the _ccall_ to `f' at cc004.hs:15
   7
   8 cc004.hs:8:
   9     Ambiguous type variable(s) `a'
  10         in the constraint `PrelGHC.CReturnable a'
  11     arising from the result of the _ccall_ to `f' at cc004.hs:8
  12     In the first argument of `thenADR', namely `_ccall_ f'
  13     in the definition of function `foo':
  14         (_ccall_ f) `thenADR` (\ a -> return (a + 1))
  15
  16 cc004.hs:8:
  17     Ambiguous type variable(s) `a' in the constraint `Num a'
  18     arising from the literal `1' at cc004.hs:8
  19     In the second argument of `(+)', namely `1'
  20     In the first argument of `return', namely `(a + 1)'
  21
  22 cc004.hs:15:
  23     Ambiguous type variable(s) `a'
  24         in the constraint `PrelGHC.CReturnable a'
  25     arising from the result of the _ccall_ to `f' at cc004.hs:15
  26     In the first argument of `thenADR', namely `_ccall_ f'
  27     in the definition of function `bar':
  28         (_ccall_ f) `thenADR` (\ a -> return (a + 1))
  29
  30 cc004.hs:15:
  31     Ambiguous type variable(s) `a' in the constraint `Num a'
  32     arising from the literal `1' at cc004.hs:15
  33     In the second argument of `(+)', namely `1'
  34     In the first argument of `return', namely `(a + 1)'