[commit: ghc] wip/T13064: Comments only (43c87f6)

git at git.haskell.org git at git.haskell.org
Mon Aug 20 13:22:24 UTC 2018


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/T13064
Link       : http://ghc.haskell.org/trac/ghc/changeset/43c87f61854ef553cc22f642c39d1d51ce51239f/ghc

>---------------------------------------------------------------

commit 43c87f61854ef553cc22f642c39d1d51ce51239f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Aug 20 09:50:31 2018 +0100

    Comments only


>---------------------------------------------------------------

43c87f61854ef553cc22f642c39d1d51ce51239f
 compiler/typecheck/TcType.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs
index 898a0f2..ac3bbf2 100644
--- a/compiler/typecheck/TcType.hs
+++ b/compiler/typecheck/TcType.hs
@@ -2072,7 +2072,7 @@ mkMinimalBySCs :: forall a. (a -> PredType) -> [a] -> [a]
 --   - can be deduced from another by superclasses,
 --
 --   - are a reflexive equality (e.g  * ~ *)
---     (see Note [Remove redundant provided dicts] in PatSyn)
+--     (see Note [Remove redundant provided dicts] in TcPatSyn)
 --
 -- The result is a subset of the input.
 -- The 'a' is just paired up with the PredType;
@@ -2094,7 +2094,8 @@ mkMinimalBySCs get_pred xs = go preds_with_scs []
        -- order as the input, which is generally saner
    go (work_item@(p,_,_) : work_list) min_preds
      | EqPred _ t1 t2 <- classifyPredType p
-     , t1 `tcEqType` t2   -- See Note [Discard reflexive equalities]
+     , t1 `tcEqType` t2   -- See TcPatSyn
+                          -- Note [Remove redundant provided dicts]
      = go work_list min_preds
      | p `in_cloud` work_list || p `in_cloud` min_preds
      = go work_list min_preds



More information about the ghc-commits mailing list