Camfort.Transformation.CommonBlockElim

Documentation

type TCommon p = (Maybe String, [(Variable, Type p)])

type TLCommon p = (Filename, (String, TCommon p))

commonElimToModules :: Directory -> [(Filename, Program A)] -> (Report, [(Filename, Program A)])

analyseCommons :: [(Filename, Program A)] -> State (Report, [TLCommon A]) [(Filename, Program A)]

collectCommons :: Filename -> String -> Block A -> State (Report, [TLCommon A]) (Block A)

cmpTLConFName :: TLCommon A -> TLCommon A -> Ordering

cmpTLConPName :: TLCommon A -> TLCommon A -> Ordering

cmpTLConBNames :: TLCommon A -> TLCommon A -> Ordering

cmpTConBNames :: TCommon A -> TCommon A -> Ordering

onCommonBlock :: (TCommon A -> TCommon A) -> TLCommon A -> TLCommon A

commonName :: Maybe [Char] -> [Char]

freshenCommonNames :: TLCommon A -> (TLCommon A, RenamerCoercer)

groupSortCommonBlock :: [TLCommon A] -> [[[TLCommon A]]]

cmpVarName :: TLCommon A -> TLCommon A -> Ordering

mkTLCommonRenamers :: [TLCommon A] -> [(TLCommon A, RenamerCoercer)]

updateUseDecls :: [(Filename, Program A)] -> [TLCommon A] -> [(Filename, Program A)]

addToProgUnit :: ProgUnit A -> [Fortran A] -> ProgUnit A

addToBlock :: Block A -> [Fortran A] -> Block A

prependStatements :: Maybe SrcSpan -> Fortran A -> [Fortran A] -> Fortran A

useSrcLoc :: ProgUnit A -> SrcLoc

useSrcLocB :: Block t -> SrcLoc

renamerToUse :: RenamerCoercer -> [(Variable, Variable)]

mkUseStatements :: SrcLoc -> [(TCommon A, RenamerCoercer)] -> Uses A

mkRenamerCoercerTLC :: (TLCommon A :? source) -> (TLCommon A :? target) -> RenamerCoercer

mkRenamerCoercer :: (TCommon A :? source) -> (TCommon A :? target) -> RenamerCoercer

allCoherentCommonsP :: [TLCommon A] -> (Report, Bool)

coherentCommonsP :: TLCommon A -> TLCommon A -> (Report, Bool)

introduceModules :: Directory -> [TLCommon A] -> (Report, [(Filename, Program A)])

mkModuleFile :: Directory -> TLCommon A -> (Report, (Filename, Program A))

mkModule :: String -> [(Variable, Type A)] -> String -> ProgUnit A