summaryrefslogtreecommitdiff
path: root/testsuite/tests/ffi
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ffi')
-rw-r--r--testsuite/tests/ffi/should_fail/ccfail004.stderr61
1 files changed, 30 insertions, 31 deletions
diff --git a/testsuite/tests/ffi/should_fail/ccfail004.stderr b/testsuite/tests/ffi/should_fail/ccfail004.stderr
index 60aaf30188..f10945d510 100644
--- a/testsuite/tests/ffi/should_fail/ccfail004.stderr
+++ b/testsuite/tests/ffi/should_fail/ccfail004.stderr
@@ -1,36 +1,35 @@
-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 f1 :: NInt -> IO Int
+ccfail004.hs:9:1: error:
+ • Unacceptable argument type in foreign declaration:
+ ‘NInt’ cannot be marshalled in a foreign call
+ because its data constructor is not in scope
+ • When checking declaration:
+ foreign import ccall safe f1 :: NInt -> IO Int
+ Suggested fix: Import the data constructor to bring it into scope
-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 f2 :: Int -> IO NInt
+ccfail004.hs:10:1: error:
+ • Unacceptable result type in foreign declaration:
+ ‘NInt’ cannot be marshalled in a foreign call
+ because its data constructor is not in scope
+ • When checking declaration:
+ foreign import ccall safe f2 :: Int -> IO NInt
+ Suggested fix: Import the data constructor to bring it into scope
-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 f3 :: Int -> NIO Int
+ccfail004.hs:11:1: error:
+ • 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
+ • When checking declaration:
+ foreign import ccall safe f3 :: Int -> NIO Int
+ Suggested fix: Import the data constructor to bring it into scope
-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 f4 :: NT -> IO ()
+ccfail004.hs:14:1: error:
+ • Unacceptable argument type in foreign declaration:
+ ‘[NT]’ cannot be marshalled in a foreign call
+ • When checking declaration:
+ foreign import ccall safe 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 f5 :: IO NT
+ccfail004.hs:15:1: error:
+ • Unacceptable result type in foreign declaration:
+ ‘[NT]’ cannot be marshalled in a foreign call
+ • When checking declaration: foreign import ccall safe f5 :: IO NT