Support pure foreign functions

well-typed · Apr 19, 2024 · 0dd1df3 · 0dd1df3
1 parent f70b040
commit 0dd1df3
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/test/Test/TraceForeignCalls/UsePlugin.hs b/test/Test/TraceForeignCalls/UsePlugin.hs
@@ -11,8 +11,17 @@ import Foreign.C
 foreign import capi "test_cbits.h answer"   c_answerIO  :: IO CInt
 foreign import capi "test_cbits.h slow_add" c_slowAddIO :: CLong -> CLong -> IO CLong
 
+foreign import capi "test_cbits.h answer"   c_answerPure  :: CInt
+foreign import capi "test_cbits.h slow_add" c_slowAddPure :: CLong -> CLong -> CLong
+
 answerIO :: IO Int
 answerIO = fromIntegral <$> c_answerIO
 
 slowAddIO :: Int -> Int -> IO Int
 slowAddIO a b = fromIntegral <$> c_slowAddIO (fromIntegral a) (fromIntegral b)
+
+answerPure :: Int
+answerPure = fromIntegral $ c_answerPure
+
+slowAddPure :: Int -> Int -> Int
+slowAddPure a b = fromIntegral $ c_slowAddPure (fromIntegral a) (fromIntegral b)