diff --git a/ghc/tests/ccall/should_compile/Makefile b/ghc/tests/ccall/should_compile/Makefile
index a56869f13de25c426521ebddef557e32b5fd5eb9..c6acaf680ba6d755ad3e4bef79c88d5436a3066f 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 0000000000000000000000000000000000000000..6e141f49b5a4029b7f1bae36ca191f356f9c60f5
--- /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 0000000000000000000000000000000000000000..959ebea9a2e280e126703813c87760f1cc82d5cc
--- /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 0000000000000000000000000000000000000000..f04b155aa380a4ffd4ca6af4266c2ed3ec82f617
--- /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 0000000000000000000000000000000000000000..7c5c5485c6659650cc57ed91e4d4a1c749ce9028
--- /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
+