Safe Haskell | None |
---|
using the additional information that is stored by the Helium compiler for each type constraint
Documentation
specialApplicationTypeError :: (Bool, Bool) -> Int -> OneLineTree -> (Tp, Tp) -> Range -> ConstraintInfo -> ConstraintInfoSource
specialUnifierTypeError :: (Tp, Tp) -> (ConstraintInfo, ConstraintInfo) -> ConstraintInfoSource
findVariableInPat :: Name -> InfoTree -> InfoTreeSource
hasVariable :: Name -> Pattern -> BoolSource