Helium.StaticAnalysis.Heuristics.UnifierHeuristics

A heuristic that tries to blaim two program locations that both contribute to the type error, instead of preferring (or choosing) one location over the other. The type error messages will be more symmetric.

Documentation

class IsUnifier a where

Methods

typeErrorForUnifier :: (Tp, Tp) -> (a, a) -> a

isUnifier :: a -> Maybe (Int, (String, LocalInfo, String))

Instances

IsUnifier ConstraintInfo

unifierVertex :: (HasTypeGraph m info, IsUnifier info) => Selector m info