diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-04-29 07:46:24 -0700 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-04-29 07:46:24 -0700 |
| commit | 00053ee6f450c4503c25ed9ba33089d991e2a04b (patch) | |
| tree | 6d74531786797e2887aa1d9972717cc83ac4c7ef /compiler/typecheck/TcSimplify.hs | |
| parent | 7242582b2fad6e0a734c012da25e66fe6f2ef11a (diff) | |
| download | haskell-00053ee6f450c4503c25ed9ba33089d991e2a04b.tar.gz | |
Fix typo: Superclases -> Superclasses
Diffstat (limited to 'compiler/typecheck/TcSimplify.hs')
| -rw-r--r-- | compiler/typecheck/TcSimplify.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcSimplify.hs b/compiler/typecheck/TcSimplify.hs index 58ed3ca91c..bb17fd71e4 100644 --- a/compiler/typecheck/TcSimplify.hs +++ b/compiler/typecheck/TcSimplify.hs @@ -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) |