f0f1d72 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Merge pull request #2761 from melted/fix_pkg_opts

f0f1d72Niklas Larsson11 years ago

test/pkg001/expected−1

compare with master

unifiedsplit

@@ -1 +0,0 @@

1−Type checking ./Main.idr

test/pkg001/test.ipkg+1−1

@@ -2,6 +2,6 @@ package test

3pkgs = effects

5−opts = "--warnpartial --warnreach"

5+opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"

7modules = Main

test/pkg002/expected−1

@@ -1 +0,0 @@

1−Type checking ./Main.idr

test/pkg002/test.ipkg+2

@@ -2,5 +2,7 @@ package test

3modules = Main

6+opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"

5main = Main

7main = Main

6executable = some.namespaced.identifier

8executable = 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

3modules = Main

5+opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"

5main = Main

6main = 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

1+Uncaught error: user error (test.ipkg:10:1: error: a

2− must be non-empty and have no

2+ filename must be non-empty and

3− directory

3+ have no directory

4 component, expected: space

5−[1m[94m<EOF>[0;1m[0m

5+<EOF>

6−[92m^[0m )

6+^ )

test/pkg004/test.ipkg+3

@@ -2,5 +2,8 @@ package test

3modules = Main

6+opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"

5main = Main

8main = Main

6executable = "filenames/cannot include\a directory separator"

9executable = "filenames/cannot include\a directory separator"