-h, -?, --help
display this help and exit
-V, --version
show the version number and exit
--numeric-version
show the numeric version number and exit
-v<n>, --verbosity=<n>
set verbosity level <n>, where <n> is one of 0: quiet 1: status
-q, --no-verb
set verbosity level to quiet
-f, --force
force compilation of target file
-P dir[:dir], --lib-dir=<dir1>[:<dir2>]
search for libraries in <dir1>[:<dir2>]-i dir[:dir], --import-dir=<dir1>[:<dir2>]
search for imports in <dir1>[:<dir2>]-o dir, --output-dir=<dir>
write compilation artifacts (FlatCurry, ...) into directory <dir>--htmldir=<dir>
write HTML documentation into directory <dir>--no-outdir,--no-subdir
disable writing to `.curry' subdirectory
--no-intf
do not create an interface file
--no-warn
do not print warnings
--no-overlap-warn
do not print warnings for overlapping rules
--tokens
generate token stream
--parse-only
generate source representation
--flat generate FlatCurry code
--extended-flat
generate FlatCurry code with source references
--acy generate typed AbstractCurry
--uacy generate untyped AbstractCurry
--html generate html documentation
-F use custom preprocessor
--pgmF=<cmd>
execute preprocessor command <cmd>
--optF=<option>
execute preprocessor with option <option>
-e, --extended
enable extended Curry functionalities
-X ext set language extension `ext', where `ext' is one of AnonFreeVars : enable anonymous free
variables FunctionalPatterns: enable functional patterns NegativeLiterals : desugar negated
literals as negative literal NoImplicitPrelude : do not implicitly import the Prelude
-W<opt>
set warning option `opt', where `opt' is one of:
all : turn on all warnings
none : turn off all warnings
error : treat warnings as errors
multiple-imports : warn for multiple imports
disjoined-rules : warn for disjoined function rules
unused-global-bindings : warn for unused bindings
unused-bindings : warn for unused bindings
name-shadowing : warn for name shadowing
overlapping : warn for overlapping function rules
incomplete-patterns : warn for incomplete pattern matching
missing-signatures : warn for missing type signatures
redundant-context : warn for redundant context
no-multiple-imports : do not warn for multiple imports
no-disjoined-rules : don't warn for disjoined function
rules
no-unused-global-bindings : do not warn for unused bindings
no-unused-bindings : do not warn for unused bindings
no-name-shadowing : do not warn for name shadowing
no-overlapping : do not warn for overlapping function
rules
no-incomplete-patterns : do not warn for incomplete pattern
matching
no-missing-signatures : do not warn for missing type
signatures
no-missing-methods : do not warn for missing method implementations
no-orphan-instances : do not warn for orphan instances
no-irregular-case-mode : do not warn for irregular case mode
no-redundant-context : do not warn for redundant context
-d<opt>
set debug option `opt', where `opt' is one of:
dump-all : dump everything
dump-none : dump nothing
dump-env : additionally dump compiler environment
dump-raw : dump as raw AST (instead of pretty printing)
dump-parse : dump code after parsing
dump-kc : dump code after kind checking
dump-sc : dump code after syntax checking
dump-pc : dump code after precedence checking
dump-tc : dump code after type checking
dump-ec : dump code after export checking
dump-qual : dump code after qualification
dump-ds : dump code after desugaring
dump-lift : dump code after lifting
dump-simpl : dump code after simplification
dump-trans : dump code after pattern matching compilation
dump-cc : dump code after case completion
dump-flat : dump code after translation into FlatCurry
-O<opt>
set optimization option `opt', where `opt' is one of
desugar-newtypes : desugars newtypes in FlatCurry
inline-dictionaries : inlines type class dictionaries
remove-unused-imports : removes unused imports
no-desugar-newtypes : prevents desugaring of newtypes in FlatCurry
no-inline-dictionaries : prevents inlining of type class dictionaries
no-remove-unused-imports : prevents removing of unused imports
Install Now
