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