idris-0.9.17: test/ffi001/test022.idr
module Main %dynamic "dummy", "libm", "msvcrt" x : Float x = unsafePerformIO (foreign FFI_C "sin" (Float -> IO Float) 1.6) main : IO () main = putStrLn (show x)
module Main %dynamic "dummy", "libm", "msvcrt" x : Float x = unsafePerformIO (foreign FFI_C "sin" (Float -> IO Float) 1.6) main : IO () main = putStrLn (show x)