ddc-driver-0.4.1.3: Disciplined Disciple Compiler top-level driver.
DDC.Driver.Stage.Tetra
Synopsis
stageSourceTetraLoad :: Config -> Source -> [PipeCore (AnTEC SourcePos Name) Name] -> PipeText Name ErrorSource
Load and type check a Source Tetra module.
stageTetraLoad :: Config -> Source -> [PipeCore () Name] -> PipeText Name ErrorSource
Load and type check a Core Tetra module.
stageTetraToSalt :: Config -> Source -> [PipeCore () Name] -> PipeCore () NameSource
Convert a Core Tetra module to Core Salt.
This includes performing the Boxing transform.