[project @ 2000-09-05 12:38:26 by simonmar]

Add tests for newtypes in foreign declarations.

5 files changed, 41 insertions, 0 deletions

diff --git a/ghc/tests/ccall/should_compile/Makefile b/ghc/tests/ccall/should_compile/Makefile
index a56869f13d..c6acaf680b 100644
--- a/ghc/tests/ccall/should_compile/Makefile
+++ b/ghc/tests/ccall/should_compile/Makefile
@@ -7,6 +7,7 @@ SRC_HC_OPTS += -dcore-lint -fglasgow-exts
 # Note that these tests are still in a state of flux... don't believe errors
 # they report. In fact, these aren't really very good tests at all...
 
+cc004_HC_OPTS = -fvia-C
 cc005_HC_OPTS = -fvia-C
 cc006_HC_OPTS = -fvia-C -fno-prune-tydecls
 
diff --git a/ghc/tests/ccall/should_compile/cc008.hs b/ghc/tests/ccall/should_compile/cc008.hs
new file mode 100644
index 0000000000..6e141f49b5
--- /dev/null
+++ b/ghc/tests/ccall/should_compile/cc008.hs
@@ -0,0 +1,8 @@
+-- !!! cc008 -- foreign export dynamic returning newtype of Addr
+module Test where
+
+import Addr
+
+newtype Ptr a = Ptr Addr
+
+foreign export dynamic mkFoo :: IO () -> IO (Ptr Int)
diff --git a/ghc/tests/ccall/should_compile/cc009.hs b/ghc/tests/ccall/should_compile/cc009.hs
new file mode 100644
index 0000000000..959ebea9a2
--- /dev/null
+++ b/ghc/tests/ccall/should_compile/cc009.hs
@@ -0,0 +1,8 @@
+-- !!! cc009 -- foreign label returning newtype of Addr
+module Test where
+
+import Addr
+
+newtype Ptr a = Ptr Addr
+
+foreign label foo :: Ptr Int
diff --git a/ghc/tests/ccall/should_fail/cc005.hs b/ghc/tests/ccall/should_fail/cc005.hs
new file mode 100644
index 0000000000..f04b155aa3
--- /dev/null
+++ b/ghc/tests/ccall/should_fail/cc005.hs
@@ -0,0 +1,11 @@
+-- !!! illegal types in foreign export delarations
+
+module ShouldFail where
+
+import PrelGHC
+
+foreign export foo :: Int# -> IO ()
+foo i | i ==# 0# = return ()
+
+foreign export bar :: Int -> Int#
+bar _ = 42#
diff --git a/ghc/tests/ccall/should_fail/cc005.stderr b/ghc/tests/ccall/should_fail/cc005.stderr
new file mode 100644
index 0000000000..7c5c5485c6
--- /dev/null
+++ b/ghc/tests/ccall/should_fail/cc005.stderr
@@ -0,0 +1,13 @@
+
+cc005.hs:7:
+    Unacceptable argument type in foreign declaration: Int#
+    When checking declaration:
+	foreign export _ccall "foo" foo :: Int# -> IO ()
+
+cc005.hs:10:
+    Unacceptable result type in foreign declaration: Int#
+    When checking declaration:
+	foreign export _ccall "bar" bar :: Int -> Int#
+
+Compilation had errors
+