Checks

This module subsumes the different checks to be performed on a Curry module during compilation, e.g. type checking.

Documentation

type Check m a = Options -> CompEnv a -> CYT m (CompEnv a)

interfaceCheck :: Monad m => Check m Interface

importCheck :: Monad m => Interface -> Maybe ImportSpec -> CYT m (Maybe ImportSpec)

extensionCheck :: Monad m => Check m (Module a)

Check for enabled language extensions.

• Declarations: remain unchanged
• Environment: The enabled language extensions are updated

typeSyntaxCheck :: Monad m => Check m (Module a)

Check the type syntax of type definitions and signatures.

• Declarations: Nullary type constructors and type variables are disambiguated
• Environment: remains unchanged

kindCheck :: Monad m => Check m (Module a)

Check the kinds of type definitions and signatures.

• Declarations: remain unchanged
• Environment: The type constructor and class environment are updated

syntaxCheck :: Monad m => Check m (Module ())

Check for a correct syntax.

• Declarations: Nullary data constructors and variables are disambiguated, variables are renamed
• Environment: remains unchanged

precCheck :: Monad m => Check m (Module a)

Check the precedences of infix operators.

• Declarations: Expressions are reordered according to the specified precedences
• Environment: The operator precedence environment is updated

deriveCheck :: Monad m => Check m (Module a)

Check the deriving clauses.

• Declarations: remain unchanged
• Environment: remain unchanged

instanceCheck :: Monad m => Check m (Module a)

Check the instances.

• Declarations: remain unchanged
• Environment: The instance environment is updated

typeCheck :: Monad m => Options -> CompEnv (Module a) -> CYT m (CompEnv (Module PredType))

Apply the correct typing of the module.

• Declarations: Type annotations are added to all expressions.
• Environment: The value environment is updated.

exportCheck :: Monad m => Check m (Module a)

Check the export specification

expandExports :: Monad m => Options -> CompEnv (Module a) -> m (CompEnv (Module a))

Check the export specification

warnCheck :: Options -> CompilerEnv -> Module a -> [Message]

Check for warnings.