Module gluon_check::typecheck [−][src]
Expand description
The main typechecking interface which is responsible for typechecking expressions, patterns,
etc. Only checks which need to be aware of expressions are handled here the actual unifying and
checking of types are done in the unify_type
and kindcheck
modules.