[GHC] #15314: Internal error during typechecking of a hole in GHCi when there's shadowed identifiers
#15314: Internal error during typechecking of a hole in GHCi when there's shadowed identifiers -------------------------------------+------------------------------------- Reporter: mniip | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.4.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHCi crash Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs GHCi, version 8.4.3: http://www.haskell.org/ghc/ :? for help Prelude> let x = () Prelude> let x = () Prelude> :t _ <interactive>:1:1: error: GHC internal error: ‘Ghci1.x’ is not in scope during type checking, but it passed the renamer tcl_env of environment: [] }}} Seems to only happen when there were two identifiers defined with the same name. As verified by mpickering on IRC this isn't reproducible in 8.2.2. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15314 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15314: Internal error during typechecking of a hole in GHCi when there's shadowed identifiers -------------------------------------+------------------------------------- Reporter: mniip | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.4.3 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: GHCi crash | Test Case: Blocked By: | Blocking: Related Tickets: #15007 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by sighingnow): * status: new => closed * resolution: => duplicate * related: => #15007 Comment: I believe this ticket describes the same bug with #15007. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15314#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15314: Internal error during typechecking of a hole in GHCi when there's shadowed
identifiers
-------------------------------------+-------------------------------------
Reporter: mniip | Owner: (none)
Type: bug | Status: closed
Priority: normal | Milestone: 8.6.1
Component: GHCi | Version: 8.4.3
Resolution: duplicate | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: GHCi crash | Test Case:
Blocked By: | Blocking:
Related Tickets: #15007 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ömer Sinan Ağacan
#15314: Internal error during typechecking of a hole in GHCi when there's shadowed identifiers -------------------------------------+------------------------------------- Reporter: mniip | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.4.3 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: GHCi crash | Test Case: Blocked By: | Blocking: Related Tickets: #15007 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Thanks -- can we add a regression test? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15314#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC