git.iko.soy/Idris-dev
on master help sign in
Fix errors for pkg004
21556e5Jason Felice
test/pkg004/expected+6−5
compare with master
unifiedsplit
@@ -1,5 +1,6 @@
1−Uncaught error: user error (test.ipkg:9:1: error: filename
1+Uncaught error: user error (test.ipkg:9:1:
2+ |
3+9 | <empty line>
4+ | ^
2− must contain no directory
5+filename must contain no directory component
3− component, expected: space
4−<EOF>
5−^ )
6+)