[GHC] #8120: ghc: panic! (the 'impossible' happened)

#8120: ghc: panic! (the 'impossible' happened) ------------------------------------+------------------------------------- Reporter: EyalLotem | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Foo.hs:6:3:ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for i386-unknown-linux): kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug The source file has to contain, merely: {{{ l :: m a -> t m a l = undefined f :: a -> f b f = do x <- undefined l $ x undefined main = return () }}} This panic reproduces on at least: 7.6.1, 7.6.2, 7.6.3. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8120 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8120: ghc: panic! (the 'impossible' happened) -------------------------------------+------------------------------------ Reporter: EyalLotem | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by EyalLotem): Other users report 7.4.1, 7.4.2 don't reproduce the panic. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8120#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8120: ghc: panic! (the 'impossible' happened) -------------------------------------+------------------------------------ Reporter: EyalLotem | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by monoidal): * status: new => closed * resolution: => duplicate Comment: You can trigger the bug with `f :: a -> b; f x = undefined >>= l x` or more simply `f = l undefined undefined`. It's a duplicate of #7920/#7368 (search Trac for "kindFunResult" for more), fixed in 7.7 but it was left unfixed in 7.6. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8120#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC