Commit 00053ee6 authored by niteria's avatar niteria

Fix typo: Superclases -> Superclasses

parent 7242582b
......@@ -952,7 +952,7 @@ Notice that
************************************************************************
* *
Type-checking superclases
Type-checking superclasses
* *
************************************************************************
-}
......@@ -1115,7 +1115,7 @@ add (Super (Fam a)) to the context of (i3).
Note [Solving superclass constraints]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
How do we ensure that every superclass witness is generated by
one of (sc1) (sc2) or (sc3) in Note [Recursive superclases].
one of (sc1) (sc2) or (sc3) in Note [Recursive superclasses].
Answer:
* Superclass "wanted" constraints have CtOrigin of (ScOrigin size)
......
......@@ -1812,7 +1812,7 @@ isPendingScDict _ = Nothing
superClassesMightHelp :: Ct -> Bool
-- ^ True if taking superclasses of givens, or of wanteds (to perhaps
-- expose more equalities or functional dependencies) might help to
-- solve this constraint. See Note [When superclases help]
-- solve this constraint. See Note [When superclasses help]
superClassesMightHelp ct
= isWantedCt ct && not (is_ip ct)
where
......
......@@ -446,7 +446,7 @@ tcCheckSatisfiability given_ids
; (res, _ev_binds) <- runTcS $
do { traceTcS "checkSatisfiability {" (ppr given_ids)
; given_cts <- mkGivensWithSuperClasses given_loc (bagToList given_ids)
-- See Note [Superclases and satisfiability]
-- See Note [Superclasses and satisfiability]
; insols <- solveSimpleGivens given_cts
; insols <- try_harder insols
; traceTcS "checkSatisfiability }" (ppr insols)
......@@ -465,7 +465,7 @@ tcCheckSatisfiability given_ids
; new_given <- makeSuperClasses pending_given
; solveSimpleGivens new_given }
{- Note [Superclases and satisfiability]
{- Note [Superclasses and satisfiability]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Expand superclasses before starting, because (Int ~ Bool), has
(Int ~~ Bool) as a superclass, which in turn has (Int ~N# Bool)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment