Commit 828e9493 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Comments only

parent 18c302cb
......@@ -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
......
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