Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI GmbH 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Fpl.StatAna

Contents

Description

basic static analysis for FPL

Synopsis

Documentation

minFplTerm :: Min TermExt SignExt Source #

perform overload resolution after mixfix analysis. The type of patterns is deduced from the top term. Overlapping or exhaustive patterns are not recognized yet.

Orphan instances