1
1
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-24 20:23:11 +03:00
Idris2/tests/idris2/pkg003/expected

16 lines
428 B
Plaintext
Raw Normal View History

1/1: Building Main (Main.idr)
Not all command line options can be used to override package options.
Overridable options are:
--quiet
--verbose
--timing
--dumpcases <file>
--dumplifted <file>
--dumpvmcode <file>
--debug-elab-check
Packages must have an '.ipkg' extension: "malformed-package-name".
Uncaught error: File error (non-existent-package.ipkg): File Not Found.