[GHC] #12727: ghc: panic! (the 'impossible' happened) - piResultTy
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Oddly this only happens on our build server, not on my local machine. On compilation, I get: {{{ [187 of 273] Compiling Query.Order ( Query/Order.hs, dist/build/Query/Order.o ) Query/Order.hs:340:1: warning: [-Wredundant-constraints] • Redundant constraint: MonadBaseControl IO m • In the type signature for: updateOrdersSuccess :: (MonadBaseControl IO m, MonadTransaction m) => m () ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): piResultTy Maybe Int64 a1_a4WiL Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} The configuration parameters are: {{{ configureFlags: --verbose --prefix=/nix/store /qxfjd5jxr593dn43i3659s86d0rdllyv-circuithub-api-0.0.4 --libdir=$prefix/lib/$compiler --libsubdir=$pkgid --with-gcc=gcc --package-db=/tmp/nix-build-circuithub-api-0.0.4.drv-0/package.conf.d --ghc-option=-j1 --disable-split-objs --disable-library-profiling --disable-profiling --disable-shared --enable-library-vanilla --disable- executable-dynamic --disable-tests }}} I've attached Query/Order.hs, but you won't be able to compile it stand- alone. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ocharles): * Attachment "Order.hs" added. Query.Order -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): This is a definite bug. It'll be hard to do much about this without the ability to reproduce the bug. Could you compile everything with `-dore-lint`? Maybe it's already fixed. cf #12676 Any chance you can try with HEAD? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by ocharles): Sadly we're still seeing this on GHC 8.0.2 RC 1. I'll try and compile with -dcore-lint now and see if that shines any light on the issue. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ocharles): * version: 8.0.1 => 8.0.2-rc1 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): It's be great to nail this but we are stuck without a way to reproduce it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by ocharles): Don't worry, perfectly understandable! I'm going to try and get some more information on this for you. I can't even reliably reproduce it myself, some builds are going through while others fail - always on this module though. I'm hoping -dcore-lint will give us a bit more understanding of what is going wrong though. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by ocharles): We've had a few more panics today, each different: {{{ [248 of 278] Compiling Handler.Auth ( src/Handler/Auth.hs, dist/build/Handler/Auth.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.1.20161117 for x86_64-unknown-linux): Iface Lint failure In interface for Data.ByteString.Internal Unfolding of $fShowByteString_$cshow <no location info>: warning: In the expression: $trModule2 (unpackChars x_apbxX) (: @ Char shows6 ([] @ Char)) Non-function type in function position Fun type: TrName Arg type: [Char] Arg: unpackChars x_apbxX $fShowByteString_$cshow = \ (x_apbxX :: ByteString) -> : @ Char shows6 ($trModule2 (unpackChars x_apbxX) (: @ Char shows6 ([] @ Char))) Iface expr = \ (x :: ByteString) -> : @ Char shows6 (showLitString (unpackChars x) (: @ Char shows6 ([] @ Char))) }}} and {{{ [215 of 278] Compiling Foundation ( Foundation.hs, dist/build/Foundation.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.1.20161117 for x86_64-unknown-linux): tyThingTyCon Identifier ‘$fEnumIsolationLevel’ }}} I'll continue to see if I can get any sort of repro on this. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by ocharles): Another rather huge core lint offense this time: https://gist.github.com/ocharles/5237072c9a5620198e31d74baab388b8 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by ocharles): Another panic that is different from all the above: {{{ [231 of 278] Compiling Handler.Pallets ( src/Handler/Pallets.hs, dist/build/Handler/Pallets.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.1.20161117 for x86_64-unknown-linux): getClassPredTys [Sql] }}} It's very strange that we seem to get different panics every time -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): All very mysterious. But I can't do anything without a way to reproduce, unfortunately. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by rwbarton): Did this turn out to be the issue with uniques overflowing? Or was that something else? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ocharles): * status: new => closed * resolution: => fixed Comment: I think so - haven't seen a panic since! Let's go ahead and close this -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#12727: ghc: panic! (the 'impossible' happened) - piResultTy -------------------------------------+------------------------------------- Reporter: ocharles | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by rwbarton): Great. (Wanted to make sure I wasn't confusing this with a different issue.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12727#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC