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

Camfort.Specification.Units

Synopsis

Documentation

synthesiseUnits :: Char -> UnitAnalysis (Either ConsistencyError (InferenceReport, ProgramFile Annotation)) Source #

Synthesis unspecified units for a program (after checking)