ddc-driver-0.4.3.1: Disciplined Disciple Compiler top-level driver.

Safe HaskellNone
LanguageHaskell98

DDC.Driver.Stage.Tetra

Synopsis

Documentation

stageSourceTetraLoad :: Config -> Source -> Store -> [PipeCore (AnTEC SourcePos Name) Name] -> PipeText Name Error Source #

Load and type check a Source Tetra module.

stageTetraLoad :: Config -> Source -> [PipeCore () Name] -> PipeText Name Error Source #

Load and type check a Core Tetra module.

stageTetraToSalt :: Config -> Source -> [PipeCore () Name] -> PipeCore () Name Source #

Convert a Core Tetra module to Core Salt.

This includes performing the Boxing transform.