[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
#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
participants (1)
-
GHC