diff options
| author | Roland Senn <rsx@bluewin.ch> | 2021-05-01 14:29:49 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-05-04 16:00:13 -0400 |
| commit | 39020600da32a3207e83f056f16ac42bcc617dc4 (patch) | |
| tree | 672da5c8efb4b2a36db81a594c222b0c7c1df2c7 /compiler/Language/Haskell/Syntax.hs | |
| parent | 24a9b1708cee95670e7ec2a6ceb68e29fc376cf7 (diff) | |
| download | haskell-39020600da32a3207e83f056f16ac42bcc617dc4.tar.gz | |
Tweak function `quantifyType` to fix #12449
In function `compiler/GHC/Runtime/Heap/Inspect.hs:quantifyType` replace
`tcSplitForAllInvisTyVars` by `tcSplitNestedSigmaTys`. This will properly split
off the nested foralls in examples like `:print fmap`.
Do not remove the `forall`s from the `snd` part of the tuple returned
by `quantifyType`. It's not necessary and the reason for the bug in #12449.
Some code simplifications at the calling sites of `quantifyTypes`.
Diffstat (limited to 'compiler/Language/Haskell/Syntax.hs')
0 files changed, 0 insertions, 0 deletions