Jaro Reinders pushed to branch wip/reduce-type-in-stg at Glasgow Haskell Compiler / GHC Commits: 2c90a4d7 by Jaro Reinders at 2026-06-06T22:07:01+02:00 Fix whitespace - - - - - 1 changed file: - compiler/GHC/Stg/Syntax.hs Changes: ===================================== compiler/GHC/Stg/Syntax.hs ===================================== @@ -117,9 +117,9 @@ newtype StgKind = MkStgKind { getStgKind :: Kind } Note [Kinds in STG] ~~~~~~~~~~~~~~~~~~~ -Whereas Core is type-annotated, STG is kind-annotated. +Whereas Core is type-annotated, STG is kind-annotated. -Just as many different values may have a single type, so many different +Just as many different values may have a single type, so many different types may have a single kind. So kinds are a "coarser approximation" to the values being manipulated; and that is what we want in STG. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2c90a4d7cbf02a00f0a869a67985cf06... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2c90a4d7cbf02a00f0a869a67985cf06... You're receiving this email because of your account on gitlab.haskell.org.