diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2019-07-23 10:13:51 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-07-29 19:32:16 -0400 |
| commit | 9f8cdb358d05192bfdb62a8ee599a652d6dce8ff (patch) | |
| tree | 7ab1d0e8bb1b87be247a734160832714419b1190 /compiler/codeGen | |
| parent | c1a06d49593d88c59c2a625154191890a05b90f9 (diff) | |
| download | haskell-9f8cdb358d05192bfdb62a8ee599a652d6dce8ff.tar.gz | |
Add Note [RuntimeRep and PrimRep] in RepType
Also adds Note [Getting from RuntimeRep to PrimRep], which
deocuments a related thorny process.
This Note addresses #16964, which correctly observes that
documentation for this thorny design is lacking.
Documentation only.
Diffstat (limited to 'compiler/codeGen')
| -rw-r--r-- | compiler/codeGen/StgCmmClosure.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/codeGen/StgCmmClosure.hs b/compiler/codeGen/StgCmmClosure.hs index fff2078237..74de2d8756 100644 --- a/compiler/codeGen/StgCmmClosure.hs +++ b/compiler/codeGen/StgCmmClosure.hs @@ -170,6 +170,7 @@ idPrimRep :: Id -> PrimRep idPrimRep id = typePrimRep1 (idType id) -- NB: typePrimRep1 fails on unboxed tuples, -- but by StgCmm no Ids have unboxed tuple type + -- See also Note [VoidRep] in RepType addIdReps :: [NonVoid Id] -> [NonVoid (PrimRep, Id)] addIdReps = map (\id -> let id' = fromNonVoid id |