git.iko.soy/Idris-dev
on master help sign in
Add test for sequencing of I/O in executor
commit8b5a1ff2617a8bead7406345e71069d3dda3d9cb authorDavid Christiansen <david@davidchristiansen.dk> dateThu 4 Apr 2013, 11:04 (14 years ago) parent1757e2f
4 files changed+13
compare with master
unifiedsplit
test/test024/expected+2 test/test024/input+2 test/test024/run+3 test/test024/test024.idr+6
test/test024/expectednew file+2
@@ -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