helium-1.8.1: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Heuristics.HeuristicsInfo

Description

using the additional information that is stored by the Helium compiler for each type constraint

Documentation

makeUnifier :: Name -> String -> Map Name Tp -> InfoTree -> Property Source

specialApplicationTypeError :: (Bool, Bool) -> Int -> OneLineTree -> (Tp, Tp) -> Range -> ConstraintInfo -> ConstraintInfo Source

specialUnifierTypeError :: (Tp, Tp) -> (ConstraintInfo, ConstraintInfo) -> ConstraintInfo Source

skip_UHA_FB_RHS :: InfoTree -> InfoTree Source

findVariableInPat :: Name -> InfoTree -> InfoTree Source

hasVariable :: Name -> Pattern -> Bool Source

maybeAddLocation :: UHA_Source -> MessageBlock Source