git.iko.soy/Idris-dev
on master help sign in
Added regression test for bug in C code generation.
10662e8Fabian Thorand
test/reg052/expectednew file+1
compare with master
unifiedsplit
@@ -0,0 +1 @@
1+42
test/reg052/reg052.idrnew file+8
@@ -0,0 +1,8 @@
1+impure_op : Bits64 -> IO Bits64
2+impure_op foo = return $ foo + 1
3+
4+impure_int : IO Int
5+impure_int = return 41
6+
7+main : IO ()
8+main = impure_int >>= impure_op . prim__zextInt_B64 >>= print
test/reg052/runnew file+4
@@ -0,0 +1,4 @@
1+#!/usr/bin/env bash
2+idris $@ -o reg052 reg052.idr
3+./reg052
4+rm -f reg052 *.ibc