Commit 05debbb4 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Tiny refactoring; no change in behaviour

parent 6b0537a1
......@@ -1128,7 +1128,7 @@ mkMinimalBySCs ptys = [ ploc | ploc <- ptys
, ploc `not_in_preds` rec_scs ]
rec_scs = concatMap trans_super_classes ptys
not_in_preds p ps = null (filter (eqPred p) ps)
not_in_preds p ps = not (any (eqPred p) ps)
trans_super_classes pred -- Superclasses of pred, excluding pred itself
= case classifyPredType pred of
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