git.iko.soy/Idris-dev
on master help sign in
Add a regression test.
2bf16c9Matus Tejiscak
test/reg031/expectednew file+1
compare with master
unifiedsplit
@@ -0,0 +1 @@
1+[10, -128, -55, -1]
test/reg031/reg031.idrnew file+4
@@ -0,0 +1,4 @@
1+module Main
2+
3+main : IO ()
4+main = print . map ord . unpack $ "\x0a\x80\xC9\xFF"
test/reg031/runnew file+4
@@ -0,0 +1,4 @@
1+#!/usr/bin/env bash
2+idris $@ reg031.idr -o reg031
3+./reg031
4+rm -f *.ibc reg031