git.iko.soy/Idris-dev
on master help sign in
Test for dynamic loading of C libs + interpreter IO
8435ba9David Christiansen
test/README+1
compare with master
unifiedsplit
@@ -21,5 +21,6 @@ Tests:
21019: magic with
21019: magic with
22020: implicit conversions
22020: implicit conversions
23021: effects
23021: effects
24+022: dynamic C library loading and interpreter IO
24
25
25regxxx: various regression tests
26regxxx: 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)