Scroll to navigation

CURRY-FRONTEND(1) User Commands CURRY-FRONTEND(1)

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=<dir>[:<dir2>]
search for imports in <dir1>[:<dir2>]
--htmldir=<dir>
write HTML documentation into directory <dir>
--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
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
-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

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.
December 2016 0.4.2