git.iko.soy/Idris-dev
on ca34dec help sign in
Idris-dev/test/pkg010/expected
28 lines 1.6 kB history raw
1Uncaught error: user error (wrongopts.ipkg:4:1:
2 |
34 | <empty line>
4 | ^
5Invalid option `-total'
7Usage: ([--nobanner] | [-q|--quiet] | [--ide-mode] | [--ide-mode-socket] |
8 [--client ARG] | [--log LEVEL] | [--logging-categories CATS] |
9 [--nobasepkgs] | [--noprelude] | [--nobuiltins] | [--check] |
10 [-o|--output FILE] | [--interface] | [--typeintype] | [--total] |
11 [--partial] | [--warnpartial] | [--warnreach] | [--warnipkg] |
12 [--nocoverage] | [--errorcontext] | [--info] | [--listlogcats] |
13 [--link] | [--listlibs] | [--libdir] | [--docdir] | [--include] | [--V2]
14 | [--V1] | [-V|--V0|--verbose] | [--ibcsubdir FILE] |
15 [-i|--idrispath ARG] | [--sourcepath ARG] | [--warn] |
16 [-p|--package ARG] | [--port PORT] | [--build IPKG] | [--install IPKG] |
17 [--repl IPKG] | [--clean IPKG] | [--mkdoc IPKG] | [--installdoc IPKG] |
18 [--checkpkg IPKG] | [--testpkg IPKG] | [--indent-with INDENT] |
19 [--indent-clause INDENT] | [--bytecode ARG] | [-S|--codegenonly] |
20 [-c|--compileonly] | [--dumpdefuns ARG] | [--dumpcases ARG] |
21 [--codegen TARGET] | [--portable-codegen TARGET] | [--cg-opt ARG] |
22 [-e|--eval EXPR] | [--execute] | [--exec EXPR] | [-X|--extension EXT] |
23 [--O3] | [--O2] | [--O1] | [--O0] | [--partial-eval] |
24 [--no-partial-eval] | [-O|--level ARG] | [--target TRIPLE] | [--cpu CPU]
25 | [--color|--colour] | [--nocolor|--nocolour] | [--consolewidth WIDTH] |
26 [--highlight] | [--no-tactic-deprecation-warnings] |
27 [--allow-capitalized-pattern-variables]) [FILES] [-v|--version]