Agda.Compiler.MAlonzo.Misc

setInterface

curIF

curSig

curMName

curHsMod

curDefs

sigMName

Types coming from Agda are named T\<number\>.

Other definitions coming from Agda are named "d<number>".

Names coming from Haskell must always be used qualified.

ihname

unqhname

tlmodOf

tlmname

xqual

xhqn

conhqn

bltQual

dsubname

hsVarUQ

mazstr

mazName

mazMod'

mazMod

mazerror

mazCoerce

mazIncompleteMatch

rtmIncompleteMatch

mazRTE

rtmMod

rtmQual

rtmVar

rtmError

unsafeCoerceMod

fakeD

fakeDS

fakeDQ

fakeType

fakeExp

dummy

emptyBinds