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 /testsuite/tests/ghci.debugger/scripts/all.T | |
| 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 'testsuite/tests/ghci.debugger/scripts/all.T')
| -rw-r--r-- | testsuite/tests/ghci.debugger/scripts/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/ghci.debugger/scripts/all.T b/testsuite/tests/ghci.debugger/scripts/all.T index 489fa89d36..d6de0b3151 100644 --- a/testsuite/tests/ghci.debugger/scripts/all.T +++ b/testsuite/tests/ghci.debugger/scripts/all.T @@ -113,6 +113,7 @@ test('getargs', extra_files(['../getargs.hs']), ghci_script, ['getargs.script']) test('T7386', normal, ghci_script, ['T7386.script']) test('T8487', normal, ghci_script, ['T8487.script']) test('T8557', normal, ghci_script, ['T8557.script']) +test('T12449', normal, ghci_script, ['T12449.script']) test('T12458', normal, ghci_script, ['T12458.script']) test('T13825-debugger', [when(arch('powerpc64'), expect_broken(14455)), |