git.iko.soy/Idris-dev
on master help sign in
Renamed test file to make globbing order portable.
97752caSteven Shaw
test/layout001/expected+1−1
compare with master
unifiedsplit
@@ -1,4 +1,3 @@
1−Checking NonLayout.idr
2Checking layout001a.idr
1Checking layout001a.idr
3./layout001a.idr:5:1: error: Wrong
2./layout001a.idr:5:1: error: Wrong
4 indention: should be greater
3 indention: should be greater
@@ -71,6 +70,7 @@ Checking layout001l.idr
71 indentation, expected: space
70 indentation, expected: space
72y
71y
73^
72^
73+Checking layout001n.idr
74Checking mplus1.idr
74Checking mplus1.idr
75mplus1.idr:13:31:
75mplus1.idr:13:31:
76When checking right hand side of term with expected type
76When checking right hand side of term with expected type
test/layout001/NonLayout.idr → test/layout001/layout001n.idrrenamed

The content is the same.