#9802: A ghci bug -------------------------------------+------------------------------------- Reporter: vxanica | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: GHCi | Version: 7.8.3 Resolution: duplicate | Keywords: :force :type Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: GHCi crash | Blocked By: Test Case: | Related Tickets: #9046 Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * failure: None/Unknown => GHCi crash * resolution: => duplicate * related: => #9046 Old description:

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

New description: {{{ #!haskell Prelude> let a = [1,2,3] (0.00 secs, 0 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] }}} -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9802#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler