Documentation

setLevels :: FloatOutSwitches -> [CoreBind] -> UniqSupply -> [LevelledBind]Source

data Level Source

tOP_LEVEL :: LevelSource

type LevelledBind = TaggedBind LevelSource

type LevelledExpr = TaggedExpr LevelSource

incMinorLvl :: Level -> LevelSource

ltMajLvl :: Level -> Level -> BoolSource

ltLvl :: Level -> Level -> BoolSource

isTopLvl :: Level -> BoolSource