camfort-1.0.1: CamFort - Cambridge Fortran infrastructure
Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Stencils.InferenceFrontend

Synopsis

Functions

stencilInference :: Bool -> Char -> ProgramFile SA -> StencilsAnalysis [LogLine] Source #

Attempt to convert a Specification into a Specification.

Only performs conversions for spatial specifications. specToSynSpec :: SpecInner -> Maybe Specification specToSynSpec spec = let ?renv = [] in case synToAst spec of Left _ -> Nothing Right x -> Just x

Main stencil inference code

stencilSynthesis :: Char -> ProgramFile SA -> StencilsAnalysis (ProgramFile SA, [LogLine]) Source #

report