[GHC] #15586: Compilation panic! (the 'impossible' happened)
#15586: Compilation panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: subaruru | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- See attached zip for entire project causing error. I'd imagine it's pretty reproducible, just call stack build. I'm running standard lts-12.8 and it's just two small files that don't do anything yet! Also included is panicmessage.txt showing the exact output, crucially: {{{ ghc: panic! (the 'impossible' happened) (GHC version 8.4.3 for x86_64-unknown-linux): piResultTy * v_XabT Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable pprPanic, called at compiler/types/Type.hs:947:35 in ghc:Type }}} Oh and sysinfo {{{ uname -a Linux @@@ 4.16.11-100.fc26.x86_64 #1 SMP Tue May 22 20:02:12 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15586 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15586: Compilation panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: subaruru | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by subaruru): * Attachment "STree.zip" added. Project causing error; additionally panicmessage.txt and configyaml.txt -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15586 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15586: Compilation panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: subaruru | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): There are quite a few other tickets about `piResultTy`, now fixed. I wonder if someone could check if the example here, `STree`, is already fixed? Thanks -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15586#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15586: Compilation panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: subaruru | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by osa1): Unfortunately there's no easy way to test this package with newer GHCs as some of its dependencies (zippers, probably lens too) use custom Setup.hs which requires building Cabal which doesn't build with newer GHCs (tested with 8.6.1 beta and HEAD). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15586#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15586: Compilation panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: subaruru | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D5118 Wiki Page: | -------------------------------------+------------------------------------- Changes (by monoidal): * differential: => Phab:D5118 Comment: Small testcase: {{{ {-# LANGUAGE GADTs #-} module STree where data STree a where STreeIM :: { l :: v a , stree :: a } -> STree a insert :: STree a -> STree a insert s = s { stree = undefined } }}} It crashes 8.4 but works on 8.0, 8.2 and master; I didn't check 8.6 but I presume it's fixed there. I couldn't find a similar program looking for `piResultTy` so I added a testcase in Phab:D5118. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15586#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15586: Compilation panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: subaruru | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: #15499 | Differential Rev(s): Phab:D5118 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * os: Linux => Unknown/Multiple * architecture: x86_64 (amd64) => Unknown/Multiple * related: => #15499 Comment: For the sake of historical curiosity: this was caused by the same bug that triggered #15499, as it requires a record update on a data constructor where an existential type variable comes before a universal one. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15586#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15586: Compilation panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: subaruru | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: #15499 | Differential Rev(s): Phab:D5118 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => patch -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15586#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15586: Compilation panic! (the 'impossible' happened)
-------------------------------------+-------------------------------------
Reporter: subaruru | Owner: (none)
Type: bug | Status: patch
Priority: normal | Milestone: 8.6.1
Component: Compiler | Version: 8.4.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Compile-time | Unknown/Multiple
crash or panic | Test Case:
Blocked By: | Blocking:
Related Tickets: #15499 | Differential Rev(s): Phab:D5118
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Krzysztof Gogolewski
#15586: Compilation panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: subaruru | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: #15499 | Differential Rev(s): Phab:D5118 Wiki Page: | -------------------------------------+------------------------------------- Changes (by monoidal): * status: patch => closed * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15586#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC