Add test case from bug #729 (layout rule).
This test is passes but we want it to fail with a layout rule error.
commit368ed1d2ba52929a4082a8b81a7b5cd9cdb1f19a
authorSteven Shaw <steven@steshaw.org>
dateThu 21 Jul 2016, 14:42 (10 years ago)
parent2d99594
test/layout001/expectednew file
No changes to the content.
test/layout001/layout001.idrnew file+6
@@ -0,0 +1,6 @@
1+-- This file passes the parser but should fail
2+f : Int -> Int
3+f x = z 1 + 1 where
4+ z : Int -> Int
5+ z y =
6+y -- FIXME: Should fail on this line with a layout-rule error.
test/layout001/runnew file+3
@@ -0,0 +1,3 @@
1+#!/usr/bin/env bash
2+${IDRIS:-idris} --check $@ layout001.idr
3+rm -f *.ibc