| Copyright | (c) Christian Maeder, DFKI GmbH 2011 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
Fpl.StatAna
Description
basic static analysis for FPL
- basicFplAnalysis :: (FplBasicSpec, FplSign, GlobalAnnos) -> Result (FplBasicSpec, ExtSign FplSign Symbol, [Named FplForm])
- minFplTerm :: Min TermExt SignExt
- simplifyTermExt :: FplSign -> TermExt -> TermExt
Documentation
basicFplAnalysis :: (FplBasicSpec, FplSign, GlobalAnnos) -> Result (FplBasicSpec, ExtSign FplSign Symbol, [Named FplForm])
minFplTerm :: Min TermExt SignExt
perform overload resolution after mixfix analysis. The type of patterns is deduced from the top term. Overlapping or exhaustive patterns are not recognized yet.
simplifyTermExt :: FplSign -> TermExt -> TermExt