summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearFFI.hs
blob: 4c58c9eecdf16932bcc320fe414dfda5e5424e2f (plain)
1
2
3
4
5
6
7
8
{-# LANGUAGE LinearTypes #-}
module LinearFFI where -- #18472

import Foreign.Ptr

foreign import ccall "exp" c_exp :: Double %1 -> Double
foreign import stdcall "dynamic" d8  :: FunPtr (IO Int) %1 -> IO Int
foreign import ccall "wrapper" mkF :: IO () %1 -> IO (FunPtr (IO ()))