Camfort.Transformation.CommonBlockElimToCalls

Documentation

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

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

extendCalls :: String -> String -> [TLCommon A] -> Fortran A -> (Report, Fortran A)

toArgList :: A -> SrcSpan -> [(Variable, Type A)] -> Expr A

select :: [Maybe String] -> [TCommon A] -> [(Variable, Type A)]

nonNullArgs :: ArgName t -> Bool

extendArgs :: Bool -> (SrcLoc, SrcLoc) -> [(String, t)] -> ArgName Annotation

extendArgs' :: (SrcLoc, b) -> [(String, t)] -> ArgName Annotation

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