Convert Diagnostics in GHC.Tc.Gen.Foreign

Converts all uses of 'TcRnUnknownMessage' to proper diagnostics.

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