1 files changed, 28 insertions, 0 deletions
diff --git a/testsuite/tests/ffi/should_run/ffi019.hs b/testsuite/tests/ffi/should_run/ffi019.hs
new file mode 100644
index 0000000000..2b317d8e09
--- /dev/null
+++ b/testsuite/tests/ffi/should_run/ffi019.hs
@@ -0,0 +1,28 @@
+{-# LANGUAGE ForeignFunctionInterface #-}
+module Main where
+
+-- Test for #1648
+
+import Foreign
+import Data.Int
+import Data.Word
+
+f :: Int64 -> IO Int64
+f x = return $ x + 1
+
+g :: Word64 -> IO Word64
+g x = return $ x + 2
+
+type WCall = Word64 -> IO Word64
+foreign import ccall "wrapper" mkWCall :: WCall -> IO (FunPtr WCall)
+foreign import ccall "dynamic" call_w :: FunPtr WCall -> WCall
+
+type ICall = Int64 -> IO Int64
+foreign import ccall "wrapper" mkICall :: ICall -> IO (FunPtr ICall)
+foreign import ccall "dynamic" call_i :: FunPtr ICall -> ICall
+
+main = do
+  fp <- mkICall f
+  call_i fp 3 >>= print
+  fp <- mkWCall g
+  call_w fp 4 >>= print