[GHC] #10489: Panic in TcEvidence due to wrong role
#10489: Panic in TcEvidence due to wrong role -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: highest | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- This single line tickles it: {{{ convert d = let d' = case d of '0' -> '!' in d' }}} produces {{{ ghc: panic! (the 'impossible' happened) (GHC version 7.11.20150604 for x86_64-apple-darwin): ASSERT failed! file compiler/typecheck/TcEvidence.hs line 600 Sym cobox_af8M Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} The failing assertion is about roles. Will look into this tomorrow. Labeling this "highest" because it's a very silly regression. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10489 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10489: Panic in TcEvidence due to wrong role
-------------------------------------+-------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: highest | Milestone:
Component: Compiler | Version: 7.11
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: | Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by Richard Eisenberg
#10489: Panic in TcEvidence due to wrong role -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: merge Priority: highest | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | typecheck/should_compile/T10489 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => merge * testcase: => typecheck/should_compile/T10489 Comment: This bug does not happen in 7.10.1, but please test this in the 7.10.2 release candidate and merge if it happens there, too. I'm labeling this "merge" to make sure this doesn't get missed. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10489#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10489: Panic in TcEvidence due to wrong role -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: closed Priority: highest | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | typecheck/should_compile/T10489 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: merge => closed * resolution: => fixed * milestone: => 7.12.1 Comment: Doesn't happen with the latest STABLE - but I've gone ahead and added a test to the `ghc-7.10` branch to be sure (see 2237c9818c1cc719560821c3153ac2059094fdd5). Thanks Richard! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10489#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10489: Panic in TcEvidence due to wrong role -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: merge Priority: highest | Milestone: 7.10.2 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_compile/T10489 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by goldfire): * status: closed => merge * milestone: 7.12.1 => 7.10.2 Comment: This '''does''' happen in the tip of the 7.10 branch. But you need a DEBUG build to know that. Please merge the commit above. Thanks! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10489#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10489: Panic in TcEvidence due to wrong role -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: merge Priority: highest | Milestone: 7.10.2 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_compile/T10489 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): Then that test should include the setup function `unless(compiler_debugged(), skip)`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10489#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10489: Panic in TcEvidence due to wrong role -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: merge Priority: highest | Milestone: 7.10.3 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_compile/T10489 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by hvr): * milestone: 7.10.2 => 7.10.3 Comment: (milestone:7.10.2 is effectively closed) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10489#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10489: Panic in TcEvidence due to wrong role -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: closed Priority: highest | Milestone: 7.10.3 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_compile/T10489 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed Comment: Cheery-picked in 3e1366e34e578fec9cbb2d34ccf0be380fbb2235 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10489#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10489: Panic in TcEvidence due to wrong role
-------------------------------------+-------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: closed
Priority: highest | Milestone: 7.10.3
Component: Compiler | Version: 7.11
Resolution: fixed | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
| typecheck/should_compile/T10489
Blocked By: | Blocking:
Related Tickets: | Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by Thomas Miedema
#10489: Panic in TcEvidence due to wrong role -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: closed Priority: highest | Milestone: 7.10.3 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_compile/T10489 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): Ben: maybe you didn't push that commit yet? It doesn't exist on the ghc-7.10 branch anyway. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10489#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10489: Panic in TcEvidence due to wrong role -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: closed Priority: highest | Milestone: 7.10.3 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_compile/T10489 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by bgamari): Indeed I didn't; there was a small window where I thought it would be necessary to do a 7.10.3 release so I started pulling things. Those plans were thankfully dropped. Regardless, the commit is now pushed. Thanks for the reminder! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10489#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC