blob: 825c47ca1ef39afc3a9d95b03b1a9174be7ea006 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
ccfail004.hs:9:1:
Unacceptable argument type in foreign declaration:
‘NInt’ cannot be marshalled in a foreign call
because its data constructor is not in scope
Possible fix: import the data constructor to bring it into scope
When checking declaration:
foreign import ccall safe "static f1" f1 :: NInt -> IO Int
ccfail004.hs:10:1:
Unacceptable result type in foreign declaration:
‘NInt’ cannot be marshalled in a foreign call
because its data constructor is not in scope
Possible fix: import the data constructor to bring it into scope
When checking declaration:
foreign import ccall safe "static f2" f2 :: Int -> IO NInt
ccfail004.hs:11:1:
Unacceptable result type in foreign declaration:
‘NIO Int’ cannot be marshalled in a foreign call
because the data constructor for ‘NIO’ is not in scope
Possible fix: import the data constructor to bring it into scope
When checking declaration:
foreign import ccall safe "static f3" f3 :: Int -> NIO Int
ccfail004.hs:14:1:
Unacceptable argument type in foreign declaration:
‘[NT]’ cannot be marshalled in a foreign call
When checking declaration:
foreign import ccall safe "static f4" f4 :: NT -> IO ()
ccfail004.hs:15:1:
Unacceptable result type in foreign declaration:
‘[NT]’ cannot be marshalled in a foreign call
When checking declaration:
foreign import ccall safe "static f5" f5 :: IO NT
|
