[GHC] #9802: A ghci bug

GHC ghc-devs at haskell.org
Sat Nov 15 11:22:27 UTC 2014


#9802: A ghci bug
-------------------------------------+-------------------------------------
       Reporter:  vxanica            |                   Owner:
           Type:  bug                |                  Status:  new
       Priority:  normal             |               Milestone:
      Component:  GHCi               |                 Version:  7.8.3
       Keywords:  :force :type       |        Operating System:
   Architecture:  Unknown/Multiple   |  Unknown/Multiple
     Difficulty:  Unknown            |         Type of failure:
     Blocked By:                     |  None/Unknown
Related Tickets:                     |               Test Case:
                                     |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------
 Prelude> let a = [1,2,3]
 (0.00 secs, 0 bytes)
 Prelude> :t a
 a :: Num t => [t]
 Prelude> :force a
 a = _
 Prelude> a
 [1,2,3]
 (0.02 secs, 3580816 bytes)
 Prelude> :print a
 a = (_t1::Num t => [t])
 Prelude> :t _t1
 ghc.exe: panic! (the 'impossible' happened)
   (GHC version 7.8.3 for x86_64-unknown-mingw32):
         tcTyVarDetails t{tv auB} [tv]


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

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


More information about the ghc-tickets mailing list