diff options
author | mniip <mniip@mniip.com> | 2016-10-01 00:26:04 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-10-01 00:27:46 -0400 |
commit | 59d7ee53906b9cee7f279c1f9567af7b930f8636 (patch) | |
tree | b456f80838f98a25cffaedec750933701a542bcc /testsuite/tests/ghci.debugger/scripts/hist001.stdout | |
parent | b61b7c2462b919de7eb4c373e2e2145c6d78d04c (diff) | |
download | haskell-59d7ee53906b9cee7f279c1f9567af7b930f8636.tar.gz |
GHCi: Don't remove shadowed bindings from typechecker scope.
The shadowed out bindings are accessible via qualified names like
Ghci1.foo. Since they are accessable in the renamer the typechecker
should be able to see them too. As a consequence they show up in :show
bindings.
This fixes T11547
Test Plan:
Fixed current tests to accomodate to new stuff in :show bindings
Added a test that verifies that the typechecker doesn't crash
Reviewers: austin, bgamari, simonpj
Reviewed By: simonpj
Subscribers: simonpj, thomie
Differential Revision: https://phabricator.haskell.org/D2447
GHC Trac Issues: #11547
Diffstat (limited to 'testsuite/tests/ghci.debugger/scripts/hist001.stdout')
-rw-r--r-- | testsuite/tests/ghci.debugger/scripts/hist001.stdout | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/ghci.debugger/scripts/hist001.stdout b/testsuite/tests/ghci.debugger/scripts/hist001.stdout index a19a34f315..523605b00a 100644 --- a/testsuite/tests/ghci.debugger/scripts/hist001.stdout +++ b/testsuite/tests/ghci.debugger/scripts/hist001.stdout @@ -12,6 +12,7 @@ Logged breakpoint at Test3.hs:2:22-31 _result :: [a] f :: t -> a xs :: [t] +Ghci1._result :: [a] = _ xs :: [t] = [] f :: t -> a = _ _result :: [a] = _ @@ -19,7 +20,10 @@ Logged breakpoint at Test3.hs:2:18-20 _result :: a f :: Integer -> a x :: Integer +Ghci1._result :: [a] = _ xs :: [t] = [] +Ghci2.f :: t -> a = _ +Ghci2._result :: [a] = _ x :: Integer = 2 f :: Integer -> a = _ _result :: a = _ |