[GHC] #10999: ghc: panic! (the 'impossible' happened)
#10999: ghc: panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: res | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The attached program elicits the following error from GHC 7.10.2: {{{ Couldn't match type ‘a’ with ‘(t0, t1, t2)’ ‘a’ is untouchable inside the constraints () bound by the inferred type of updateKeytab :: FilePath -> Handle -> IO () at /u/res/g/src/remctl-tools/foo.hs:(58,1)-(69,26)ghc: panic! (the 'impossible' happened) (GHC version 7.10.2 for x86_64-unknown-linux): No skolem info: a_akOb[sk] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10999> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10999: ghc: panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: res | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by res): * Attachment "foo.hs" added. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10999> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10999: ghc: panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: res | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: #10045 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * related: => #10045 Comment: Here is a smaller test to trigger the same bug: {{{ module T10999 where import qualified Data.Set as Set f :: () -> _ f _ = Set.fromList undefined g = map fst $ Set.toList $ f () }}} It is already fixed in HEAD, and seems like a duplicate of #10045. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10999#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10999: ghc: panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: res | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: #10045 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"f86fb5e5a0694ea57cace824bbc0dce06bdf0698/ghc" f86fb5e5/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="f86fb5e5a0694ea57cace824bbc0dce06bdf0698" Add regression tests for #10045, #10999 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10999#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10999: ghc: panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: res | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: #10045 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): This is still broken in 7.10.3. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10999#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10999: ghc: panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: res | Owner: Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: #10045 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => fixed * milestone: => 8.0.1 Comment: It appears that the fix for #10045 isn't entirely trivial to merge for 7.10.3. It looks like we'll need to punt on this. Sorry! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10999#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10999: ghc: panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: res | Owner: Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: #10045 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Thomas Miedema <thomasmiedema@…>): In [changeset:"7c2ab6fb41464ace21fcae885ae8dc5354014a25/ghc" 7c2ab6fb/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="7c2ab6fb41464ace21fcae885ae8dc5354014a25" Testsuite: accept output for T10999 (#10999) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10999#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC