Add a regression test.
commitddd53cdb7b7938d5d3025e6dafe297bc54d23d2e
authorMatus Tejiscak <ziman@functor.sk>
dateMon 21 Nov 2016, 12:48 (10 years ago)
parent8177659
test/TestData.hs+2−1
@@ -240,7 +240,8 @@ testFamiliesData = [
240240 ( 48, ANY ),
241241 ( 52, C_CG ),
242242 ( 67, ANY ),
243− ( 75, ANY )]),
243+ ( 75, ANY ),
244+ ( 76, ANY )]),
244245 ("regression", "Regression",
245246 [ ( 1 , ANY ),
246247 ( 2 , ANY )]),
test/reg076/expectednew file+1
test/reg076/inputnew file
No changes to the content.
test/reg076/reg076.idrnew file+11
@@ -0,0 +1,11 @@
1+data Op = Add | Mul
2+
3+binop : Op -> Integer -> Integer -> Integer
4+binop Add = (+)
5+binop Mul = (*)
6+
7+doOp : Op -> IO Integer
8+doOp op = pure (binop op 1 2)
9+
10+main : IO ()
11+main = doOp Add >>= print
test/reg076/runnew file+4
@@ -0,0 +1,4 @@
1+#!/usr/bin/env bash
2+${IDRIS:-idris} $@ --port none reg076.idr -o reg076
3+./reg076
4+rm -f *.ibc reg076