ddc-build-0.4.2.2: Disciplined Disciple Compiler build framework.
DDC.Build.Language.Salt
Description
The Salt fragment contains just those features that can be easily mapped onto C or LLVM code.
Salt
Synopsis
language :: Language Source
Language definition for Disciple Core Salt.
bundle :: Bundle Int Name Error Source
Language bundle for Disciple Core Salt.
fragment :: Fragment Name Error Source
Fragment definition for Disciple Core Salt.
freshT :: Env Name -> Bind Name -> State Int Name Source
Create a new type variable name that is not in the given environment.
freshX :: Env Name -> Bind Name -> State Int Name Source
Create a new value variable name that is not in the given environment.