Add regression tests for #3275
commit0af83660da8bc6e62cd6ed670c7dec59d0dccfa4
authorBjörn Aili <bjorn.aili@gmail.com>
dateSat 30 Jul 2016, 23:40 (10 years ago)
parenta6f56ce
CONTRIBUTORS+1
@@ -51,3 +51,4 @@ Leif Warner
5151Daniel Waterworth
5252Eric Weinstein
5353Jonas Westerlund
54+Björn Aili
test/reg076/expectednew file+8
@@ -0,0 +1,8 @@
1+./reg076.idr:8:1: error: Missing
2+ fixity declaration for
3+ Main.:>, expected: "->", "=>",
4+ ambiguous use of a left-associative operator,
5+ ambiguous use of a non-associative operator,
6+ ambiguous use of a right-associative operator
7+<EOF>
8+^
test/reg076/reg076.idrnew file+7
@@ -0,0 +1,7 @@
1+
2+data Qux : a -> Type where
3+ Tux : String -> Qux a
4+
5+data Bar : a -> Type where
6+ Nil : Bar a
7+ (:>) : Qux a -> Bar a -> Bar a
test/reg076/runnew file+3
@@ -0,0 +1,3 @@
1+#!/usr/bin/env bash
2+${IDRIS:-idris} $@ reg076.idr --check
3+rm -f *.ibc
test/reg077/expectednew file+6
@@ -0,0 +1,6 @@
1+./reg077.idr:3:1: error: Missing
2+ fixity declaration for
3+ Main.:>>, expected: ")", ";",
4+ "in", start of block
5+<EOF>
6+^
test/reg077/reg077.idrnew file+2
@@ -0,0 +1,2 @@
1+
2+data (:>>) : a -> b -> Type where
test/reg077/runnew file+3
@@ -0,0 +1,3 @@
1+#!/usr/bin/env bash
2+${IDRIS:-idris} $@ reg077.idr --check
3+rm -f *.ibc