test022.idr

module Main

%dynamic "dummy", "libm", "msvcrt"

x : Float
x = unsafePerformIO (mkForeign (FFun "sin" [FFloat] FFloat) 1.6)

main : IO ()
main = putStrLn (show x)