added javascript test for IORef
commit4c19d46afcb7429b7a89c4f934bd65cefeed18e6
authorRui Barreiro <rui.barreiro@gmail.com>
dateFri 6 Oct 2017, 08:40 (9 years ago)
parent3985928
test/basic022/basic022.idrnew file+13
@@ -0,0 +1,13 @@
1+import Data.IORef
2+
3+count : HasReference ffi => Nat -> IORef Integer -> IO' ffi ()
4+count Z ref
5+ = do x <- readIORef' ref
6+ printLn' x
7+count (S k) ref
8+ = do modifyIORef' ref (+1)
9+ count k ref
10+
11+main : JS_IO ()
12+main = do r <- newIORef' 0
13+ count 1000 r
test/basic022/expectednew file+1
test/basic022/runnew file+4
@@ -0,0 +1,4 @@
1+#!/usr/bin/env bash
2+${IDRIS:-idris} $@ basic022.idr -o basic022
3+./basic022
4+rm -f basic022 *.ibc