From: sof <unknown>
Date: Wed, 1 Sep 1999 14:18:55 +0000 (+0000)
Subject: [project @ 1999-09-01 14:18:54 by sof]
X-Git-Tag: Approximately_9120_patches~5848
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=092081deeee0e3e8fab1eb83a43bdf81d413ba00;p=ghc-hetmet.git

[project @ 1999-09-01 14:18:54 by sof]
FFI decl tests
---

diff --git a/ghc/tests/ccall/should_compile/cc004.hs b/ghc/tests/ccall/should_compile/cc004.hs
new file mode 100644
index 0000000..c67c9da
--- /dev/null
+++ b/ghc/tests/ccall/should_compile/cc004.hs
@@ -0,0 +1,60 @@
+-- !!! cc004 -- foreign declarations
+module ShouldCompile where
+
+import Foreign
+import GlaExts
+import Int
+import Word
+
+-- importing functions
+
+foreign import stdcall "m" m_stdcall :: StablePtr a -> IO (StablePtr b)
+foreign import ccall   "m" unsafe m_ccall   :: ByteArray Int -> IO Int
+
+foreign import stdcall "Math" "sin" my_sin :: Double -> IO Double
+foreign import stdcall "Math" "cos" my_cos :: Double -> IO Double
+
+foreign import stdcall "m1" m8  :: IO Int8
+foreign import stdcall "m2" m16 :: IO Int16
+foreign import stdcall "m3" m32 :: IO Int32
+foreign import stdcall "m4" m64 :: IO Int64
+
+foreign import stdcall dynamic d8  :: Addr -> IO Int8
+foreign import stdcall dynamic d16 :: Addr -> IO Int16
+foreign import stdcall dynamic d32 :: Addr -> IO Int32
+foreign import stdcall dynamic d64 :: Addr -> IO Int64
+
+foreign import ccall "kitchen" unsafe 
+   sink :: ForeignObj 
+        -> ByteArray Int 
+	-> MutableByteArray Int RealWorld
+	-> Int
+	-> Int8
+	-> Int16
+	-> Int32
+	-> Int64
+	-> Word8
+	-> Word16
+	-> Word32
+	-> Word64
+	-> Float
+	-> Double
+	-> IO ()
+
+
+foreign import ccall dynamic unsafe
+  sink2 :: Addr
+        -> (ForeignObj 
+        -> ByteArray Int 
+	-> MutableByteArray Int RealWorld
+	-> Int
+	-> Int8
+	-> Int16
+	-> Int32
+	-> Word8
+	-> Word16
+	-> Word32
+	-> Float
+	-> Double
+	-> IO ())
+
diff --git a/ghc/tests/ccall/should_compile/cc005.hs b/ghc/tests/ccall/should_compile/cc005.hs
new file mode 100644
index 0000000..5b6fdac
--- /dev/null
+++ b/ghc/tests/ccall/should_compile/cc005.hs
@@ -0,0 +1,108 @@
+-- !!! cc005 -- foreign export declarations
+module ShouldCompile (d8) where
+
+import Foreign
+import GlaExts
+import Int
+import Word
+
+foreign export ccall dynamic d8  :: (Int -> IO ())  -> IO Addr
+
+-- exporting functions
+{-
+m_stdcall :: Int -> IO Int
+m_stdcall x = return x
+
+x = putChar
+
+foreign export ccall "m1" doo :: Int -> IO Int
+
+doo :: Eq a => a -> IO Int
+doo _ = return 2
+
+foreign export ccall "listAppend" plusplus :: StablePtr [a] -> StablePtr [a] -> IO (StablePtr [a])
+
+plusplus :: StablePtr [a] -> StablePtr [a] -> IO (StablePtr [a])
+plusplus x y = do
+  l1 <- deRefStablePtr x
+  l2 <- deRefStablePtr y
+  makeStablePtr (l1 ++ l2)
+
+foreign export ccall "m11" m_stdcall :: Int -> IO Int
+
+m_ccall :: Int -> Int -> IO Int
+m_ccall x y = return (x-y)
+
+foreign export ccall   "m2" m_ccall   :: Int -> Int -> IO Int
+
+foreign export ccall   "putcha" putChar :: Char -> IO ()
+
+foreign export stdcall "Math" "sin" my_sin :: Double -> IO Double
+foreign export stdcall "Math" "cos" my_cos :: Double -> IO Double
+
+my_sin = undefined
+my_cos = undefined
+
+foreign export stdcall "m111" m8  :: IO Int8
+foreign export stdcall "m22" m16 :: IO Int16
+foreign export stdcall "m3" m32 :: IO Int32
+foreign export stdcall "m4" m64 :: IO Int64
+
+m8 = undefined
+m16 = undefined
+m32 = undefined
+m64 = undefined
+
+foreign export stdcall dynamic d8  :: (Addr -> IO Int8)  -> IO Addr
+foreign export stdcall dynamic d16 :: (Addr -> IO Int16) -> IO Addr
+foreign export stdcall dynamic d32 :: (Addr -> IO Int32) -> IO Addr
+foreign export stdcall dynamic d64 :: (Addr -> IO Int64) -> IO Addr
+
+
+d8 = undefined
+d16 = undefined
+d32 = undefined
+d64 = undefined
+
+
+foreign export ccall "kitchen"
+   sink :: --ForeignObj 
+--        -> ByteArray Int 
+--	-> MutableByteArray Int RealWorld
+	   Int
+	-> Int8
+	-> Int16
+	-> Int32
+	-> Int64
+	-> Word8
+	-> Word16
+	-> Word32
+	-> Word64
+	-> Float
+	-> Double
+	-> IO Int
+
+sink  = undefined
+sink2 = undefined
+
+foreign export ccall dynamic
+  sink2 :: (--ForeignObj 
+--        -> ByteArray Int 
+--	-> MutableByteArray Int RealWorld
+	   StablePtr a
+	-> Int
+	-> Int8
+	-> Int16
+	-> Int32
+	-> Int64
+	-> Word8
+	-> Word16
+	-> Word32
+	-> Word64
+	-> Float
+	-> Double
+	-> IO ())
+	-> IO Addr
+
+
+-}
diff --git a/ghc/tests/ccall/should_compile/cc007.hs b/ghc/tests/ccall/should_compile/cc007.hs
new file mode 100644
index 0000000..b1528b4
--- /dev/null
+++ b/ghc/tests/ccall/should_compile/cc007.hs
@@ -0,0 +1,4 @@
+-- !!! cc007 -- foreign import with external name equal to Haskell name.
+module Test where
+
+foreign import sine :: Double -> Double