blob: 3a97270d0d3cf25bbaa593e1eb03878efb33af93 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
ffi1.hs:9:1: error:
• Unacceptable argument type in foreign declaration:
‘(# Int | Int #)’ cannot be marshalled in a foreign call
• When checking declaration:
foreign import ccall safe "static f1" f1
:: (# Int | Int #) -> IO Int
ffi1.hs:10:1: error:
• Unacceptable argument type in foreign declaration:
‘(# (# Int, Int #) |
(# Float#, Float# #) #)’ cannot be marshalled in a foreign call
• When checking declaration:
foreign import ccall safe "static f2" f2
:: (# (# Int, Int #) | (# Float#, Float# #) #) -> IO Int
ffi1.hs:11:1: error:
• Unacceptable argument type in foreign declaration:
‘(# (# #) | Void# |
(# Int# | String #) #)’ cannot be marshalled in a foreign call
• When checking declaration:
foreign import ccall safe "static f3" f3
:: (# (# #) | Void# | (# Int# | String #) #) -> IO Int
|
