curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Source code Contents Index

TypeCheck

Documentation

typeCheck :: ModuleIdent -> TCEnv -> ValueEnv -> [Decl] -> (TCEnv, ValueEnv) Source

Produced by Haddock version 2.4.2