Make the pkg tests take the same display options as the other tests.
"--nocolour --quiet --consolewidth 80"
commit31d6ed1e42ceb095aba47cc988aee15c7a9f0de7
authorNiklas Larsson <niklas@mm.st>
dateFri 23 Oct 2015, 14:20 (11 years ago)
parentd7794a6
test/pkg001/expected−1
@@ -1 +0,0 @@
1−Type checking ./Main.idr
test/pkg001/test.ipkg+1−1
@@ -2,6 +2,6 @@ package test
22
33pkgs = effects
44
5−opts = "--warnpartial --warnreach"
5+opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"
66
77modules = Main
test/pkg002/expected−1
@@ -1 +0,0 @@
1−Type checking ./Main.idr
test/pkg002/test.ipkg+2
@@ -2,5 +2,7 @@ package test
22
33modules = Main
44
5+
6+opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"
57main = Main
68executable = some.namespaced.identifier
test/pkg003/expected−1
@@ -1 +0,0 @@
1−Type checking ./Main.idr
test/pkg003/test.ipkg+2−1
@@ -2,5 +2,6 @@ package test
22
33modules = Main
44
5+opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"
56main = Main
6−executable = "quoting-allows-hyphens and spaces? and fun stuff!"
7+executable = "quoting-allows-hyphens and spaces and fun stuff!"
test/pkg004/expected+5−5
@@ -1,6 +1,6 @@
1−Uncaught error: user error ([1mtest.ipkg[0m:[1m7[0m:[1m1[0m: [91merror[0m: a filename
2− must be non-empty and have no
3− directory
1+Uncaught error: user error (test.ipkg:10:1: error: a
2+ filename must be non-empty and
3+ have no directory
44 component, expected: space
5−[1m[94m<EOF>[0;1m[0m
6−[92m^[0m )
5+<EOF>
6+^ )
test/pkg004/test.ipkg+3
@@ -2,5 +2,8 @@ package test
22
33modules = Main
44
5+
6+opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"
7+
58main = Main
69executable = "filenames/cannot include\a directory separator"