camfort-1.1.0: CamFort - Cambridge Fortran infrastructure
Copyright(c) 2017 Dominic Orchard Andrew Rice Mistral Contrastin Matthew Danish
LicenseApache-2.0
Maintainerdom.orchard@gmail.com
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Units.Analysis.Consistent

Description

 
Synopsis

Documentation

data ConsistencyReport Source #

A report that summarises unit consistency.

Constructors

forall a. Consistent (ProgramFile a) Int

All units were consistent.

Inconsistent ConsistencyError

An inconsistency was found in units of the program.

checkUnits :: UnitAnalysis ConsistencyReport Source #

Check units-of-measure for a program