diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2023-02-20 19:19:17 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-04-03 19:32:02 -0400 |
commit | 220a7a48cabdcfd2ef7bf5dbe3fd6df99e8d3c5b (patch) | |
tree | 56037f6ea7a13ab4fe214bc56beacb7c905aa7f2 /testsuite/tests/ghci/should_run/T21052.script | |
parent | 8b092910ac18a2b5dc97a29ced9fc469c663a03b (diff) | |
download | haskell-220a7a48cabdcfd2ef7bf5dbe3fd6df99e8d3c5b.tar.gz |
Fixes around unsafeCoerce#
1. `unsafeCoerce#` was documented in `GHC.Prim`. But since the overhaul
in 74ad75e87317, `unsafeCoerce#` is no longer defined there.
I've combined the documentation in `GHC.Prim` with the `Unsafe.Coerce` module.
2. The documentation of `unsafeCoerce#` stated that you should not
cast a function to an algebraic type, even if you later cast it back
before applying it. But ghci was doing that type of cast, as can be seen
with 'ghci -ddump-ds' and typing 'x = not'. I've changed it to use Any
following the documentation.
Diffstat (limited to 'testsuite/tests/ghci/should_run/T21052.script')
0 files changed, 0 insertions, 0 deletions