[GHC] #9290: ghci panic on ':type'

[GHC]

#9290: ghci panic on ':type'
----------------------------------+-------------------------------------
       Reporter:  raichoo         |             Owner:
           Type:  bug             |            Status:  new
       Priority:  normal          |         Milestone:
      Component:  GHCi            |           Version:  7.8.2
       Keywords:                  |  Operating System:  Unknown/Multiple
   Architecture:  x86_64 (amd64)  |   Type of failure:  None/Unknown
     Difficulty:  Unknown         |         Test Case:
     Blocked By:                  |          Blocking:
Related Tickets:                  |
----------------------------------+-------------------------------------
 Hi,

 I just made ghci panic by doing the following:


 {{{
 λ» let inf = 1 + inf
 λ» :sprint inf
 inf = _
 λ» :print inf
 inf = (_t1::Num a => a)
 λ» :t _t1
 ghc: panic! (the 'impossible' happened)
   (GHC version 7.8.2 for x86_64-unknown-linux):
         tcTyVarDetails a{tv au3} [tv]

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 }}}

 Kind regards,
 raichoo

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9290>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler