[GHC] #15007: Don't keep shadowed variables in ghci, both renamer and type checker
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect Unknown/Multiple | error/warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: #11547 #14052 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In ticket:14052, we reverted Phab:D2447, then ticket:11547 exists in HEAD again. In ticket:14052#comment:25 and ticket:14052#comment:10, we decide that shadowed variables shouldn't be keep at all. This ticket is created to track the idea. The same error of ticket:11547 was also reported in ticket:14996#comment:2,
{{{#!hs $ inplace/bin/ghc-stage2 --interactive GHCi, version 8.5.20180403: http://www.haskell.org/ghc/ :? for help Prelude> 1 1 Prelude> 1 1 Prelude> _
<interactive>:1:1: error: GHC internal error: ‘Ghci1.it’ is not in scope during type > checking, but it passed the renamer tcl_env of environment: [] }}}
(giving "1" twice is needed to reproduce the error)
NB: input "1" twice to create shadowed context is necessary to reproduce this bug. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: sighingnow Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by sighingnow): * owner: (none) => sighingnow -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: sighingnow Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * keywords: => TypedHoles Old description:
In ticket:14052, we reverted Phab:D2447, then ticket:11547 exists in HEAD again. In ticket:14052#comment:25 and ticket:14052#comment:10, we decide that shadowed variables shouldn't be keep at all. This ticket is created to track the idea.
The same error of ticket:11547 was also reported in ticket:14996#comment:2,
{{{#!hs $ inplace/bin/ghc-stage2 --interactive GHCi, version 8.5.20180403: http://www.haskell.org/ghc/ :? for help Prelude> 1 1 Prelude> 1 1 Prelude> _
<interactive>:1:1: error: GHC internal error: ‘Ghci1.it’ is not in scope during type > checking, but it passed the renamer tcl_env of environment: [] }}}
(giving "1" twice is needed to reproduce the error)
NB: input "1" twice to create shadowed context is necessary to reproduce this bug.
New description: In ticket:14052, we reverted Phab:D2447, then ticket:11547 exists in HEAD again. In ticket:14052#comment:25 and ticket:14052#comment:10, we decide that shadowed variables shouldn't be keep at all. This ticket is created to track the idea. The same error of ticket:11547 was also reported in ticket:14996#comment:2,
{{{ $ inplace/bin/ghc-stage2 --interactive GHCi, version 8.5.20180403: http://www.haskell.org/ghc/ :? for help Prelude> 1 1 Prelude> 1 1 Prelude> _
<interactive>:1:1: error: GHC internal error: ‘Ghci1.it’ is not in scope during type > checking, but it passed the renamer tcl_env of environment: [] }}}
(giving "1" twice is needed to reproduce the error)
NB: input "1" twice to create shadowed context is necessary to reproduce this bug. -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: sighingnow Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): Similar shenanigans: {{{ $ ~/Software/ghc/inplace/bin/ghc-stage2 --interactive GHCi, version 8.5.20180420: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci λ> data F λ> data F λ> _ <interactive>:1:1: error: GHC internal error: ‘Ghci1.$trModule’ is not in scope during type checking, but it passed the renamer tcl_env of environment: [] }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: sighingnow Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): #15202 | Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * related: #11547 #14052 => #11547 #14052 #15202 Comment: Another example from #15202:
Run `ghc --interactive`, and at the prompt type
{{{#!hs default () fish :: Eq a => a; fish = undefined foo :: String; foo = show _ }}}
The following error appears:
{{{ <interactive>:1:1: error: GHC internal error: ‘Ghci1.$trModule’ is not in scope during type checking, but it passed the renamer tcl_env of environment: [r2CZ :-> Identifier[foo::String, TopLevelLet]] }}}
-- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: sighingnow Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): #15202 | Wiki Page: | -------------------------------------+------------------------------------- Changes (by Tritlo): * cc: Tritlo (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): #15202 | Wiki Page: | -------------------------------------+------------------------------------- Changes (by sighingnow): * owner: sighingnow => (none) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): #15202 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by Tritlo): This is fixed in https://phabricator.haskell.org/D4909 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): #15202 | Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 8.8.1 => 8.6.1 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Changes (by osa1): * status: new => patch * differential: => Phab:D4909 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Changes (by osa1): * status: patch => new Comment: Reverting this back to "new". It seems to me that the patch doesn't actually fix this problem, but works around it. Please make the status "patch" again if I'm wrong. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker
-------------------------------------+-------------------------------------
Reporter: sighingnow | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.6.1
Component: GHCi | Version: 8.5
Resolution: | Keywords: TypedHoles
Operating System: Unknown/Multiple | Architecture:
Type of failure: Incorrect | Unknown/Multiple
error/warning at compile-time | Test Case:
Blocked By: | Blocking:
Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909
#15202 |
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ömer Sinan Ağacan
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): I don't see a regression test -- please add one? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by sighingnow): This ticket isn't fixed by Phab:D4909. With a debug-enabled stage2 compiler, for the script in description, we will get a panic: {{{ Prelude> 1 1 (0.02 secs, 65,728 bytes) Prelude> 1 1 (0.00 secs, 64,352 bytes) Prelude> _ ghc-stage2.exe: panic! (the 'impossible' happened) (GHC version 8.7.20180629 for x86_64-unknown-mingw32): ASSERT failed! Cur lvl = 1 Imp lvl = 1 Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler\utils\Outputable.hs:1164:37 in ghc:Outputable pprPanic, called at compiler\utils\Outputable.hs:1223:5 in ghc:Outputable assertPprPanic, called at compiler\\typecheck\\TcSimplify.hs:1548:120 in ghc:TcSimplify CallStack (from -prof): HscMain.ioMsgMaybe (compiler\main\HscMain.hs:(252,1)-(257,128)) HscMain.hscParsedStmt (compiler\main\HscMain.hs:(1548,1)-(1564,36)) HscMain.hscStmtWithLocation (compiler\main\HscMain.hs:(1533,1)-(1541,50)) GHC.withCleanupSession (compiler\main\GHC.hs:(469,1)-(477,27)) GHC.runGhc (compiler\main\GHC.hs:(444,1)-(449,26)) GHC.defaultErrorHandler (compiler\main\GHC.hs:(384,1)-(416,7)) }}} Besides, this ticket is intend to solve the problem described in #11547, the ` GHC internal error` (for script reported by #11547) still occurs after Phab:D4909. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by sighingnow): The program in #15314 now triggers the same assertion failure as comment:14 after Phab:D4909. {{{ Prelude> let x = () Prelude> let x = () Prelude> :t _ }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker
-------------------------------------+-------------------------------------
Reporter: sighingnow | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.6.1
Component: GHCi | Version: 8.5
Resolution: | Keywords: TypedHoles
Operating System: Unknown/Multiple | Architecture:
Type of failure: Incorrect | Unknown/Multiple
error/warning at compile-time | Test Case:
Blocked By: | Blocking:
Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909
#15202 |
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ömer Sinan Ağacan
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by osa1): sighingnow, are you sure you rebuilt it correctly? I'm also using a debug- enabled compiler and here are the outputs I'm getting: {{{ ~ $ ghc-stage2 --interactive GHCi, version 8.7.20180704: http://www.haskell.org/ghc/ :? for help Prelude> 1 1 Prelude> 1 1 Prelude> _ <interactive>:3:1: error: • Found hole: _ :: t Where: ‘t’ is a rigid type variable bound by the inferred type of it :: t at <interactive>:3:1 • In the expression: _ In an equation for ‘it’: it = _ • Relevant bindings include it :: t (bound at <interactive>:3:1) Prelude> }}} {{{ ~ $ ghc-stage2 --interactive GHCi, version 8.7.20180704: http://www.haskell.org/ghc/ :? for help Prelude> let x = () Prelude> let x = () Prelude> :t _ <interactive>:1:1: error: • Found hole: _ :: t Where: ‘t’ is a rigid type variable bound by the inferred type of it :: t at <interactive>:1:1 • In the expression: _ Prelude> }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:17 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by sighingnow): I have rebuilt the stage2 compiler after manually delete all `.o` and `.hi` files in compiler/stage2/build and still get the same panic. I will try a fresh build later. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:18 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by osa1): I just validated with the regression tests so it should be fine after a `make clean`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:19 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by sighingnow): osa1: I still get the same assertion failure with comment:14 after a fresh debug-enabled build. My build flavors is: {{{ SRC_HC_OPTS = -O -H64m GhcStage1HcOpts = -O GhcStage2HcOpts = -O -DDEBUG GhcLibHcOpts = -O -dcore-lint BUILD_PROF_LIBS = YES SplitObjs = NO SplitSections = NO HADDOCK_DOCS = NO BUILD_SPHINX_HTML = NO BUILD_SPHINX_PDF = NO BUILD_MAN = NO LAX_DEPENDENCIES = YES GhcProfiled = YES INTEGER_LIBRARY = integer-simple }}} If I remove the `-DDEBUG` in `GhcStage2HcOpts` and rebuild ghc-stage2, I can get the same error message with comment:17. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:20 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by osa1): I was using `GhcDebugged = YES` but apparently that doesn't add `-DDEBUG`, it just adds `-debug`. It seems this ticket needs more work. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:21 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): comment:12 merged with 22c951e6aab52adf32499a9568be44dc60e72acb. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:22 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15007: Don't keep shadowed variables in ghci, both renamer and type checker -------------------------------------+------------------------------------- Reporter: sighingnow | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.5 Resolution: fixed | Keywords: TypedHoles Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #11547 #14052 | Differential Rev(s): Phab:D4909 #15202 | Wiki Page: | -------------------------------------+------------------------------------- Changes (by osa1): * status: new => closed * resolution: => fixed Comment: We have a ticket for the panic this caused: #15384. Closing this one as fixed. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15007#comment:23 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC