Added test for unsafePerformIO
commitf2e6671c7f3e22b18da8e59b0828f22cff7b61b5
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 29 Jan 2016, 23:23 (11 years ago)
parent400cc8a
idris.cabal+3
@@ -163,6 +163,9 @@ Extra-source-files:
163163 test/reg004/run
164164 test/reg004/*.idr
165165 test/reg004/expected
166+ test/reg005/run
167+ test/reg005/*.idr
168+ test/reg005/expected
166169 test/reg006/run
167170 test/reg006/*.idr
168171 test/reg006/expected
test/reg005/expectednew file+3
@@ -0,0 +1,3 @@
1+hey
2+you
3+[(), ()]
test/reg005/reg005.idrnew file+9
@@ -0,0 +1,9 @@
1+module UPIO
2+
3+foo : List (IO ())
4+foo = [putStrLn "hey", putStrLn "you"]
5+
6+namespace Main
7+ main : IO ()
8+ main = let stuff = map unsafePerformIO foo in putStrLn (show stuff)
9+
test/reg005/runnew file+4
@@ -0,0 +1,4 @@
1+#!/usr/bin/env bash
2+${IDRIS:-idris} $@ reg005.idr -o reg005
3+./reg005
4+rm -f reg005 *.ibc