NAME

       curry-frontend - Lexer, parser, type checker, etc. for the Curry programming language

SYNOPSIS

       curry-frontend [OPTIONS] ... MODULES ...

DESCRIPTION

       The  Curry  Frontend  consists  of  the executable program "curry-frontend". It is used by
       various backends to compile programs written in the functional  logic  language  Curry  to
       various intermediate representations.

       For further information, please check http://currry-language.org

OPTIONS

       -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

AUTHOR

       This manual page has been created using the help2man  tool  (version  1.47.4)  and  edited
       afterwards  by  Mike  Gabriel  <mike.gabriel@das-netzwerkteam.de>.  This man page has been
       written for the Debian project initially, but may also be used by others.