0af8366 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Add regression tests for #3275

0af8366Björn Aili10 years ago

CONTRIBUTORS+1

compare with master

@@ -51,3 +51,4 @@ Leif Warner

51Daniel Waterworth

51Daniel Waterworth

52Eric Weinstein

52Eric Weinstein

53Jonas Westerlund

53Jonas 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