idris-1.2.0: test/pkg004/expected
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 )