Renamed test file to make globbing order portable.
commit97752caf262ea5911ffa70186ce988e67cefd233
authorSteven Shaw <steven@steshaw.org>
dateTue 2 Aug 2016, 19:21 (10 years ago)
parentcfab5ec
test/layout001/expected+1−1
@@ -1,4 +1,3 @@
1−Checking NonLayout.idr
21Checking layout001a.idr
32./layout001a.idr:5:1: error: Wrong
43 indention: should be greater
@@ -71,6 +70,7 @@ Checking layout001l.idr
7170 indentation, expected: space
7271y
7372^
73+Checking layout001n.idr
7474Checking mplus1.idr
7575mplus1.idr:13:31:
7676When checking right hand side of term with expected type
test/layout001/NonLayout.idr → test/layout001/layout001n.idrrenamed
The content is the same.