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
1 changed file:
Changes:
| ... | ... | @@ -117,9 +117,9 @@ newtype StgKind = MkStgKind { getStgKind :: Kind } |
| 117 | 117 | Note [Kinds in STG]
|
| 118 | 118 | ~~~~~~~~~~~~~~~~~~~
|
| 119 | 119 | |
| 120 | -Whereas Core is type-annotated, STG is kind-annotated.
|
|
| 120 | +Whereas Core is type-annotated, STG is kind-annotated.
|
|
| 121 | 121 | |
| 122 | -Just as many different values may have a single type, so many different
|
|
| 122 | +Just as many different values may have a single type, so many different
|
|
| 123 | 123 | types may have a single kind. So kinds are a "coarser approximation" to the
|
| 124 | 124 | values being manipulated; and that is what we want in STG.
|
| 125 | 125 |