ddc-core-tetra-0.4.2.1: Disciplined Disciple Compiler intermediate language.

Safe HaskellNone
LanguageHaskell98

DDC.Core.Tetra.Check

Synopsis

Documentation

checkModule :: Module a Name -> Maybe (Error a) Source

Perform Core Tetra specific checks on a module.