diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/T16197b.hs')
| -rw-r--r-- | testsuite/tests/stranal/sigs/T16197b.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/stranal/sigs/T16197b.hs b/testsuite/tests/stranal/sigs/T16197b.hs index 4ce440d3bf..dda6670c64 100644 --- a/testsuite/tests/stranal/sigs/T16197b.hs +++ b/testsuite/tests/stranal/sigs/T16197b.hs @@ -2,6 +2,11 @@ -- Important takeaway: The signature of `f` may not say "strict in the Bool -- field of T", otherwise the Simplifier will drop the `seq` on the `Bool` at -- call sites after unboxing the `T`. +-- +-- Now (with #21497) this has a twist. When we do w/w we insert seqs to make the worker strict in +-- strict fields. This means the simplifier might drop the seq at the call site +-- but we will seq inside the worker so things still work. +-- So instead of checking the strictness sig we now check if there is a seq in the worker. module T16197b where data T = T !Bool |