Opened 22 months ago

Closed 22 months ago

Last modified 22 months ago

#15037 closed bug (duplicate)

Running 1 twice, followed by a typed hole, in GHCi causes internal error

Reported by: RyanGlScott Owned by:
Priority: normal Milestone: 8.6.1
Component: GHCi Version: 8.5
Keywords: TypedHoles Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Compile-time crash or panic Test Case:
Blocked By: Blocking:
Related Tickets: #15007 Differential Rev(s):
Wiki Page:


Originally reported in You need GHC HEAD (i.e., more recent than GHC 8.4.1) to trigger this:

$ inplace/bin/ghc-stage2 --interactive
GHCi, version 8.5.20180413:  :? for help
Loaded GHCi configuration from /home/rgscott/.ghci
λ> 1
λ> 1
λ> _

<interactive>:1:1: error:
    GHC internal error: ‘’ is not in scope during type checking, but it passed the renamer
    tcl_env of environment: []

And yes, running 1 twice seems to be critical to triggering this bug, for some reason.

Change History (2)

comment:1 Changed 22 months ago by sighingnow

Resolution: duplicate
Status: newclosed

Oh wait, Ryan, I have opened the ticket:15007 several days ago for this bug (and possible solution). I'm going to close this ticket as duplicate.

comment:2 Changed 22 months ago by RyanGlScott

Oops, I somehow missed that ticket as well. Sorry for the noise!

Note: See TracTickets for help on using tickets.