f2e6671 · Idris-dev · git.iko.soy

idris.cabal+3

@@ -163,6 +163,9 @@ Extra-source-files:

163 test/reg004/run

164 test/reg004/*.idr

165 test/reg004/expected

166+ test/reg005/run

167+ test/reg005/*.idr

168+ test/reg005/expected

166 test/reg006/run

169 test/reg006/run

167 test/reg006/*.idr

170 test/reg006/*.idr

168 test/reg006/expected

171 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