CURRY-FRONTEND(1)
π NAME π
curry-frontend β bestie, this is the lexer, parser, type checker and honestly the entire backstage crew for the Curry programming language. she does it all. π
β¨ SYNOPSIS β¨
curry-frontend [OPTIONS] ... MODULES ...
πΈ DESCRIPTION πΈ
okay so the Curry Frontend is literally just one executable program, and it's called curry-frontend. various backends pull up and use it to compile programs written in the functional logic language Curry into all kinds of intermediate representations. she's the plug fr fr. π
want the full lore? go check out http://currry-language.org π¦
π OPTIONS π
-h,-?,--helpβ show this help and then dip. bye. π-V,--versionβ show the version number and exit--numeric-versionβ show just the numeric version number and exit-v <n>,--verbosity=<n>β set the verbosity level to<n>, where<n>is one of these:0means quiet,1means status. that's the whole menu bestie. π₯-q,--no-verbβ set verbosity level to quiet (shhh π€«)-f,--forceβ force compilation of the target file, no excuses, no questions-P dir[:dir],--lib-dir=<dir1>[:<dir2>]β go search for libraries in<dir1>[:<dir2>]-i dir[:dir],--import-dir=<dir1>[:<dir2>]β go search for imports in<dir1>[:<dir2>]-o dir,--output-dir=<dir>β write the compilation artifacts (FlatCurry, ...) into directory<dir>--htmldir=<dir>β write the HTML documentation into directory<dir>--no-outdir,--no-subdirβ disable writing to the.currysubdirectory--no-intfβ do not create an interface file--no-warnβ do not print warnings (living in denial era π)--no-overlap-warnβ do not print warnings for overlapping rules--tokensβ generate the token stream--parse-onlyβ generate the source representation--flatβ generate FlatCurry code--extended-flatβ generate FlatCurry code, but with source references this time--acyβ generate typed AbstractCurry--uacyβ generate untyped AbstractCurry--htmlβ generate html documentation-Fβ use a custom preprocessor--pgmF=<cmd>β execute the preprocessor command<cmd>--optF=<option>β execute the preprocessor with option<option>-e,--extendedβ enable the extended Curry functionalities β¨-X extβ set the language extensionext, whereextis one of these icons:AnonFreeVarsβ enable anonymous free variablesFunctionalPatternsβ enable functional patternsNegativeLiteralsβ desugar negated literals as negative literalNoImplicitPreludeβ do not implicitly import the Prelude
-W <opt>β set the warning optionopt, whereoptis one of:allβ turn on all warnings, every single one, go feralnoneβ turn off all warningserrorβ treat warnings as errors (they're not just vibes anymore, they're real)multiple-importsβ warn for multiple importsdisjoined-rulesβ warn for disjoined function rulesunused-global-bindingsβ warn for unused bindingsunused-bindingsβ warn for unused bindingsname-shadowingβ warn for name shadowingoverlappingβ warn for overlapping function rulesincomplete-patternsβ warn for incomplete pattern matchingmissing-signaturesβ warn for missing type signaturesredundant-contextβ warn for redundant contextno-multiple-importsβ do not warn for multiple importsno-disjoined-rulesβ don't warn for disjoined function rulesno-unused-global-bindingsβ do not warn for unused bindingsno-unused-bindingsβ do not warn for unused bindingsno-name-shadowingβ do not warn for name shadowingno-overlappingβ do not warn for overlapping function rulesno-incomplete-patternsβ do not warn for incomplete pattern matchingno-missing-signaturesβ do not warn for missing type signaturesno-missing-methodsβ do not warn for missing method implementationsno-orphan-instancesβ do not warn for orphan instancesno-irregular-case-modeβ do not warn for irregular case modeno-redundant-contextβ do not warn for redundant context
-d <opt>β set the debug optionopt, whereoptis one of:dump-allβ dump everything, no thoughts, just dumpsdump-noneβ dump nothingdump-envβ additionally dump the compiler environmentdump-rawβ dump as raw AST (instead of pretty printing)dump-parseβ dump code after parsingdump-kcβ dump code after kind checkingdump-scβ dump code after syntax checkingdump-pcβ dump code after precedence checkingdump-tcβ dump code after type checkingdump-ecβ dump code after export checkingdump-qualβ dump code after qualificationdump-dsβ dump code after desugaringdump-liftβ dump code after liftingdump-simplβ dump code after simplificationdump-transβ dump code after pattern matching compilationdump-ccβ dump code after case completiondump-flatβ dump code after translation into FlatCurry
-O <opt>β set the optimization optionopt, whereoptis one of:desugar-newtypesβ desugars newtypes in FlatCurryinline-dictionariesβ inlines type class dictionariesremove-unused-importsβ removes unused importsno-desugar-newtypesβ prevents desugaring of newtypes in FlatCurryno-inline-dictionariesβ prevents inlining of type class dictionariesno-remove-unused-importsβ prevents removing of unused imports
π AUTHOR π
this manual page was created using the help2man tool (version 1.47.4) and then edited afterwards by Mike Gabriel <mike.gabriel@das-netzwerkteam.de>. this man page was written for the Debian project initially, but it may also be used by others. slay, sharing is caring π«Ά
and that's the whole thing bestie, no cap. this page is version 0.4.2, dated December 2016 β vintage but still iconic, periodt. ππβ¨
π¦ where this page comes from
- ubuntu jammy: curry-frontend 2.0.0-2build1 Β· BSD-3-Clause
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms