curry-frontend-0.4.2: Lexer, parser, type checker, etc. for the Curry language
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
Modules
- Base
- Base.CurryTypes Conversion of type representation
- Base.Expr Extraction of free and bound variables
- Base.Messages Construction and output of compiler messages
- Base.NestEnv Nested Environments
- Base.SCC Computation of strongly connected components
- Base.Subst General substitution implementation
- Base.TopEnv Top-Level Environments
- Base.TypeSubst Type substitution
- Base.Types Internal representation of types
- Base.Typing Type computation of Curry expressions
- Base.Utils Auxiliary functions
- Checks Different checks on a Curry module
- Checks.ExportCheck Check the export specification of a module
- Checks.ImportSyntaxCheck Checking import specifications
- Checks.InterfaceCheck Checks consistency of interface files
- Checks.InterfaceSyntaxCheck Checks interface declarations
- Checks.KindCheck Checks type definitions
- Checks.PrecCheck Checks precedences of infix operators
- Checks.SyntaxCheck Syntax checks
- Checks.TypeCheck Type checking Curry programs
- Checks.WarnCheck Checks for irregular code
- CompilerEnv Environment containing the module's information
- CompilerOpts Compiler options
- CurryBuilder Build tool for compiling multiple Curry modules
- CurryDeps Computation of module dependencies
- Env
- Env.Interface Environment of imported interfaces
- Env.ModuleAlias Environment of module aliases
- Env.OpPrec Environment of operator precedences
- Env.TypeConstructor Environment of type constructors
- Env.Value Environment for functions, constructors and labels
- Exports Computation of export interface
- Files
- Files.CymakePath File pathes
- Generators Code generators
- Generators.GenAbstractCurry Generation of AbstractCurry program terms
- Generators.GenFlatCurry Generation of FlatCurry program and interface terms
- Html
- Html.CurryHtml Generating HTML documentation
- Html.SyntaxColoring Split module into code fragments
- IL Intermediate language
- IL.Pretty Pretty printer for IL
- IL.ShowModule Custom Show implementation for IL
- IL.Type Definition of the intermediate language (IL)
- Imports Importing interface declarations
- Interfaces Loading interfaces
- Modules Compilation of a single module
- TokenStream Generating List of Tokens and Spans
- Transformations Code transformations
- Transformations.CaseCompletion CaseCompletion
- Transformations.CurryToIL Translation of Curry into IL
- Transformations.Desugar Desugaring Curry Expressions
- Transformations.Lift Lifting of lambda-expressions and local functions
- Transformations.Qual Proper Qualification
- Transformations.Simplify Optimizing the Desugared Code