git.iko.soy/Idris-dev
on master help sign in
Add test for sequencing of I/O in executor
8b5a1ffDavid Christiansen
test/test024/expectednew file+2
compare with master
unifiedsplit
@@ -0,0 +1,2 @@
1+Type checking ./test022.idr
2+0.9995736030415051 : Float
test/test024/inputnew file+2
@@ -0,0 +1,2 @@
1+:x unsafePerformIO main
2+test
test/test024/runnew file+3
@@ -0,0 +1,3 @@
1+#!/bin/bash
2+idris --quiet test024.idr < input
3+rm -f *.ibc
test/test024/test024.idrnew file+6
@@ -0,0 +1,6 @@
1+module Main
2+
3+main : IO ()
4+main = do l <- getLine
5+ let ll = l ++ l
6+ putStrLn ll