| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Frontend.Haskell.Simplifier
Description
This module contains a converter from the haskell-src-exts AST to
the intermediate representation used by the compiler.
The simplifier checks whether a given module complies with our assumptions about the input file format and generates a fatal error message if any Haskell feature is used that is not supported by the compiler.
In some places the simplifier also performs desugaring. For example, infix operators are translated to regular function applications and list literals to the application of the list constructors.
TODO warn user if reserved names like error or undefined are used
in declarations or as (type-) variable names.
Synopsis
- type Simplifier = Converter
- simplifyModuleWithComments :: Module SrcSpan -> [Comment] -> Simplifier Module
- simplifyModuleHeadWithComments :: Module SrcSpan -> [Comment] -> Simplifier (ModuleOf (Module SrcSpan))
- simplifyModuleBody :: ModuleOf (Module SrcSpan) -> Simplifier Module
- extractModName :: Module SrcSpan -> Simplifier ModName
- simplifyType :: Type SrcSpan -> Simplifier Type
- simplifyTypeScheme :: Type SrcSpan -> Simplifier TypeScheme
- simplifyExpr :: Exp SrcSpan -> Simplifier Expr
Documentation
type Simplifier = Converter Source #
The simplifier is a special converter that converts the haskell-src-exts
AST to the simplified internal representation for Haskell modules.
During simplification the environment is usually empty (except for fresh variables created by the simplifier).
simplifyModuleWithComments :: Module SrcSpan -> [Comment] -> Simplifier Module Source #
Simplifies a module declaration.
The module must not contain any import declaration or pragmas. The export list may be present but is ignored.
Only regular (non XML) modules are supported.
simplifyModuleHeadWithComments :: Module SrcSpan -> [Comment] -> Simplifier (ModuleOf (Module SrcSpan)) Source #
Simplifies the module head, imports and pragmas of a module.
The contents of the resulting module is the entire module. The module is preserved such that the pattern matching compiler can be applied.
simplifyModuleBody :: ModuleOf (Module SrcSpan) -> Simplifier Module Source #
Simplifies the contents of a module that has been preprocessed by
simplifyModuleHeadWithComments.
extractModName :: Module SrcSpan -> Simplifier ModName Source #
Gets the name of the given module.
simplifyType :: Type SrcSpan -> Simplifier Type Source #
Simplifies the a type expression.
simplifyTypeScheme :: Type SrcSpan -> Simplifier TypeScheme Source #
Simplifies the given type expression and abstracts it to a type scheme.
If there is no explicit forall, all type variables that occur in the
type expression are abstracted aw. Otherwise, only the specified type
arguments are abstracted.
simplifyExpr :: Exp SrcSpan -> Simplifier Expr Source #
Simplifies an expression.