Merge pull request #2761 from melted/fix_pkg_opts
Make the pkg tests take the same display options as the other tests.
commitf0f1d72848c66991982deaa3ec256479042a32fc
authorNiklas Larsson <metaniklas@gmail.com>
dateFri 23 Oct 2015, 15:39 (11 years ago)
parent5a8536a31d6ed1
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"