[Git][ghc/ghc][wip/T24359] Wibble scopedSort

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T24359 at Glasgow Haskell Compiler / GHC


Commits:
facbd5cd by Simon Peyton Jones at 2024-11-27T23:33:56+00:00
Wibble scopedSort

- - - - -


1 changed file:

- compiler/GHC/Core/Predicate.hs


Changes:

=====================================
compiler/GHC/Core/Predicate.hs
=====================================
@@ -594,7 +594,7 @@ scopedSort = go [] []
     insert v []     []         = ([v], [tyCoVarsOfType (varType v)])
     insert v (a:as) (fvs:fvss)
       | (isTyVar v && isId a) ||          -- TyVars precede Ids
-        (isEvVar v && not (isEvVar a)) || -- DictIds precede non-DictIds
+        (isEvVar v && isId a && not (isEvVar a)) || -- DictIds precede non-DictIds
         (v `elemVarSet` fvs)
           -- (a) put Ids after TyVars, and (b) respect dependencies
       , (as', fvss') <- insert v as fvss



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/facbd5cdf67e34810505a2a5c131c82418ee95ff

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/facbd5cdf67e34810505a2a5c131c82418ee95ff
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20241127/28799b37/attachment-0001.html>