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

Safe HaskellSafe
LanguageHaskell98

DDC.Core.Tetra.Check

Synopsis

Documentation

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

Perform Core Tetra specific checks on a module.