Agda.Compiler.MAlonzo.Compiler
compilerMain
compile
imports
definitions
definition
data CCEnv
type NameSupply
type CCContext
mapNameSupply
mapContext
initCCEnv
lookupIndex
lookupLevel
type CC
casetree
updateCatchAll
conAlts
litAlts
catchAllAlts
branch
replaceVar
mkRecord
recConFromProj
lambdasUpTo
lambdas
intros
mkLams
checkConstructorType
checkCover
conArityAndPars
clause
argpatts
clausebody
closedTerm
term
term'
literal
hslit
litqname
litqnamepat
condecl
cdecl
tvaldecl
infodecl
hsCast
hsCast'
hsCoerce
writeModule
rteModule
compileDir
outFile'
outFile
outFile_
callGHC