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.