git.iko.soy/Idris-dev
on master help sign in
Test for dynamic loading of C libs + interpreter IO
commit8435ba9a8ab21dc340366a2fa3d2fb4a902f12aa authorDavid Christiansen <david@davidchristiansen.dk> dateThu 21 Mar 2013, 18:57 (14 years ago) parentd8cff54
4 files changed+12
compare with master
unifiedsplit
test/README+1 test/test022/expected+2 test/test022/run+3 test/test022/test022.idr+6
test/README+1
@@ -21,5 +21,6 @@ Tests:
2121019: magic with
2222020: implicit conversions
2323021: effects
24+022: dynamic C library loading and interpreter IO
2425
2526regxxx: various regression tests
test/test022/expectednew file+2
@@ -0,0 +1,2 @@
1+Type checking ./test022.idr
2+0.9995736030415051 : Float
test/test022/runnew file+3
@@ -0,0 +1,3 @@
1+#!/bin/bash
2+echo ":x x" | idris --quiet test022.idr
3+rm -f test021 test021a *.ibc
test/test022/test022.idrnew file+6
@@ -0,0 +1,6 @@
1+module Main
2+
3+%dynamic "libm.so"
4+
5+x : Float
6+x = unsafePerformIO (mkForeign (FFun "sin" [FFloat] FFloat) 1.6)