git.iko.soy/Idris-dev
on master help sign in
Add test case from bug #729 (layout rule).
368ed1dSteven Shaw
test/layout001/expectednew file
compare with master
unifiedsplit

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