diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-11-03 18:28:49 +0100 |
|---|---|---|
| committer | Sebastian Graf <sebastian.graf@kit.edu> | 2020-11-18 10:27:47 +0100 |
| commit | 29e792c06b112dbc523d24a1b95574fae7af5292 (patch) | |
| tree | 6b058552e7209fcca91a656ff24d144dc7be89b8 /compiler/cbits/genSym.c | |
| parent | fc644b1a643128041cfec25db84e417851e28bab (diff) | |
| download | haskell-29e792c06b112dbc523d24a1b95574fae7af5292.tar.gz | |
Fix strictness signatures of `prefetchValue*#` primops
Their strictness signatures said the primops are strict in their first
argument, which is wrong: Handing it a thunk will prefetch the pointer
to the thunk, but not evaluate it. Hence not strict.
The regression test `T8256` actually tests for laziness in the first
argument, so GHC apparently never exploited the strictness signature.
See also https://gitlab.haskell.org/ghc/ghc/-/issues/8256#note_310867,
where this came up.
Diffstat (limited to 'compiler/cbits/genSym.c')
0 files changed, 0 insertions, 0 deletions