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
1 changed file:
Changes:
| ... | ... | @@ -258,8 +258,10 @@ deepUnitFV fvs_of_kind v |
| 258 | 258 | do_it :: BoundVars -> TyCoVarSet -> TyCoVarSet
|
| 259 | 259 | do_it bvs acc | v `elemVarSet` bvs = acc
|
| 260 | 260 | | v `elemVarSet` acc = acc
|
| 261 | - | otherwise = runFVAcc (fvs_of_kind (varType v)) $
|
|
| 262 | - acc `extendVarSet` v
|
|
| 261 | + | otherwise = runFVAcc (fvs_of_kind (varType v)) acc
|
|
| 262 | + `extendVarSet` v
|
|
| 263 | + -- Left-to-right: add the kind variables to the
|
|
| 264 | + -- accumulator before v itself
|
|
| 263 | 265 | |
| 264 | 266 | {- *********************************************************************
|
| 265 | 267 | * *
|
| ... | ... | @@ -395,8 +397,10 @@ deepDetUnitFV fvs_of_kind v |
| 395 | 397 | do_it :: BoundVars -> DTyCoVarSet -> DTyCoVarSet
|
| 396 | 398 | do_it bvs acc | v `elemVarSet` bvs = acc
|
| 397 | 399 | | v `elemDVarSet` acc = acc
|
| 398 | - | otherwise = runFVAcc (fvs_of_kind (varType v)) $
|
|
| 399 | - acc `extendDVarSet` v
|
|
| 400 | + | otherwise = runFVAcc (fvs_of_kind (varType v)) acc
|
|
| 401 | + `extendDVarSet` v
|
|
| 402 | + -- Left-to-right: add the kind variables to the
|
|
| 403 | + -- accumulator before v itself
|
|
| 400 | 404 | |
| 401 | 405 | {- *********************************************************************
|
| 402 | 406 | * *
|