idris-1.3.3: test/pkg004/expected.out
Uncaught error: user error (test.ipkg:9:1: | 9 | <empty line> | ^ filename must contain no directory component )
Uncaught error: user error (test.ipkg:9:1: | 9 | <empty line> | ^ filename must contain no directory component )