Transformation.CommonBlockElim

type TCommon p

type TLCommon p

commonElimToModules

analyseCommons

collectCommons

cmpTLConFName

cmpTLConPName

cmpTLConBNames

cmpTConBNames

onCommonBlock

commonName

freshenCommonNames

groupSortCommonBlock

cmpVarName

mkTLCommonRenamers

updateUseDecls

addToProgUnit

addToBlock

prependStatements

useSrcLoc

useSrcLocB

renamerToUse

mkUseStatements

mkRenamerCoercerTLC

mkRenamerCoercer

allCoherentCommonsP

coherentCommonsP

introduceModules

mkModuleFile

mkModule