camfort-1.2.0: CamFort - Cambridge Fortran infrastructure
Safe HaskellSafe-Inferred
LanguageHaskell2010

Camfort.Specification.Units

Synopsis

Documentation

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

Synthesis unspecified units for a program (after checking)