git.iko.soy/Idris-dev
on master help sign in
Add a regression test.
commit2bf16c9ee76028781cd137ea8653b879cf404d7c authorMatus Tejiscak <ziman@functor.sk> dateSun 19 Jan 2014, 14:26 (13 years ago) parent8f38baa
3 files changed+9
compare with master
unifiedsplit
test/reg031/expected+1 test/reg031/reg031.idr+4 test/reg031/run+4
test/reg031/expectednew file+1
@@ -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