Simon Peyton Jones pushed to branch wip/T26868 at Glasgow Haskell Compiler / GHC Commits: 3d06fd06 by Simon Peyton Jones at 2026-02-24T17:37:13+00:00 Wibble order of kind variables - - - - - 1 changed file: - compiler/GHC/Core/TyCo/FVs.hs Changes: ===================================== compiler/GHC/Core/TyCo/FVs.hs ===================================== @@ -258,8 +258,10 @@ deepUnitFV fvs_of_kind v do_it :: BoundVars -> TyCoVarSet -> TyCoVarSet do_it bvs acc | v `elemVarSet` bvs = acc | v `elemVarSet` acc = acc - | otherwise = runFVAcc (fvs_of_kind (varType v)) $ - acc `extendVarSet` v + | otherwise = runFVAcc (fvs_of_kind (varType v)) acc + `extendVarSet` v + -- Left-to-right: add the kind variables to the + -- accumulator before v itself {- ********************************************************************* * * @@ -395,8 +397,10 @@ deepDetUnitFV fvs_of_kind v do_it :: BoundVars -> DTyCoVarSet -> DTyCoVarSet do_it bvs acc | v `elemVarSet` bvs = acc | v `elemDVarSet` acc = acc - | otherwise = runFVAcc (fvs_of_kind (varType v)) $ - acc `extendDVarSet` v + | otherwise = runFVAcc (fvs_of_kind (varType v)) acc + `extendDVarSet` v + -- Left-to-right: add the kind variables to the + -- accumulator before v itself {- ********************************************************************* * * View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/3d06fd0687fe33a3eee01fcc4c0db3ea... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/3d06fd0687fe33a3eee01fcc4c0db3ea... You're receiving this email because of your account on gitlab.haskell.org.