git.iko.soy/Idris-dev
on master help sign in
Added regression test for bug in C code generation.
commit10662e8a707ce8ed560075da4dfe497e63def8bc authorFabian Thorand <f.thorand@gmail.com> dateThu 25 Sep 2014, 00:03 (12 years ago) parentc50d7c5
3 files changed+13
compare with master
unifiedsplit
test/reg052/expected+1 test/reg052/reg052.idr+8 test/reg052/run+4
test/reg052/expectednew file+1
@@ -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