[GHC] #15007: Don't keep shadowed variables in ghci, both renamer and type checker
GHC
ghc-devs at haskell.org
Thu May 31 10:27:34 UTC 2018
#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
More information about the ghc-tickets
mailing list