git.iko.soy/Idris-dev
on master help sign in
Remove escapes from expected output in pkg004
18d0204Niklas Larsson
test/pkg004/expected+3−3
compare with master
unifiedsplit
@@ -1,5 +1,5 @@
1−Uncaught error: user error (test.ipkg:10:1: error: filename
1+Uncaught error: user error (test.ipkg:9:1: error: filename
2 must contain no directory
2 must contain no directory
3 component, expected: space
3 component, expected: space
4−<EOF>
4+<EOF>
5−^ )
5+^ )
test/pkg004/run+1−1
@@ -2,5 +2,5 @@
2### Test: IPKG executable names CANNOT include a directory separator.
2### Test: IPKG executable names CANNOT include a directory separator.
3# TODO: Verify that a name like "a/b\c" is rejected by both *NIX and Windows
3# TODO: Verify that a name like "a/b\c" is rejected by both *NIX and Windows
4# (assuming these tests get run on Windows).
4# (assuming these tests get run on Windows).
5−idris $@ --consolewidth 80 --nobanner --nocolor --build test.ipkg
5+idris $@ --build test.ipkg
6rm -f *.ibc
6rm -f *.ibc
test/pkg004/test.ipkg−1
@@ -2,7 +2,6 @@ package test
2
2
3modules = Main
3modules = Main
4
4
5−
6opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"
5opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"
7
6
8main = Main
7main = Main