From 59d7ee53906b9cee7f279c1f9567af7b930f8636 Mon Sep 17 00:00:00 2001 From: mniip Date: Sat, 1 Oct 2016 00:26:04 -0400 Subject: 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 --- testsuite/tests/ghci.debugger/scripts/hist001.stdout | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'testsuite/tests/ghci.debugger/scripts/hist001.stdout') 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 = _ -- cgit v1.2.1