ddc-build-0.4.1.3: Disciplined Disciple Compiler build framework.
DDC.Build.Language.Lite
Description
The Lite fragment is a desugared version of Disciple Core that has all the polymorphism of System-F2 along with algebraic data types.
Lite
Synopsis
language :: LanguageSource
Language definition for Disciple Core Lite.
bundle :: Bundle Int Name ErrorSource
Language bundle for Disciple Core Lite.
fragment :: Fragment Name ErrorSource
Fragement definition for Disciple Core Lite.
freshT :: Env Name -> Bind Name -> State Int NameSource
Create a new type variable name that is not in the given environment.
freshX :: Env Name -> Bind Name -> State Int NameSource
Create a new value variable name that is not in the given environment.