diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-11-03 18:28:49 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-11-20 02:09:51 -0500 |
| commit | 321d1bd8a79ab39c3c9e8697fffb0107c43f83cf (patch) | |
| tree | ee3b1476f7bffafd318607a3963a79ee47f4e9f7 /testsuite/tests/stranal/sigs | |
| parent | b57845c3d80f5bed8f498f27fb7a318f2b2f8b2c (diff) | |
| download | haskell-321d1bd8a79ab39c3c9e8697fffb0107c43f83cf.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 'testsuite/tests/stranal/sigs')
0 files changed, 0 insertions, 0 deletions