[GHC] #8368: Panic in rejigConRes
#8368: Panic in rejigConRes ------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- When I compile the following erroneous code {{{ {-# LANGUAGE DataKinds, TypeFamilies, GADTs #-} import GHC.TypeLits data Foo = Bar data instance Sing (n :: Foo) where SBar :: Sing Foo }}} I get {{{ *** Exception: compiler/typecheck/TcTyClsDecls.lhs:1266:5-62: Irrefutable pattern failed for pattern Data.Maybe.Just subst }}} I think this is my fault. I will fix. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8368 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8368: Panic in rejigConRes -------------------------------------+------------------------------------ Reporter: goldfire | Owner: goldfire Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by goldfire): * status: new => patch Comment: I have fixed this, but I am unable to validate, as per [http://www.haskell.org/pipermail/ghc-devs/2013-October/002727.html this email]. If someone wants to validate and push, I'd be grateful. Or, suggest a way I can validate. :) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8368#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8368: Panic in rejigConRes -------------------------------------+------------------------------------ Reporter: goldfire | Owner: goldfire Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by monoidal): @goldfire: It passes validate, except for some perf tests which failed previously. Do you want this trace? It is visible during normal build of ghc. {{{ pprTrace "RAE1" (vcat [ppr tmpl_tvs, ppr res_tmpl, ppr dc_tvs, ppr res_ty]) $ }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8368#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8368: Panic in rejigConRes -------------------------------------+------------------------------------ Reporter: goldfire | Owner: goldfire Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by goldfire): Yikes, no! Thanks for catching that -- searching for my initials is one of my internal steps during validation, which I obviously skipped. I just checked, and that should be the only one to remove. Thanks! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8368#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8368: Panic in rejigConRes
-------------------------------------+------------------------------------
Reporter: goldfire | Owner: goldfire
Type: bug | Status: patch
Priority: normal | Milestone:
Component: Compiler | Version: 7.7
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+------------------------------------
Comment (by Krzysztof Gogolewski
#8368: Panic in rejigConRes
-------------------------------------+------------------------------------
Reporter: goldfire | Owner: goldfire
Type: bug | Status: patch
Priority: normal | Milestone:
Component: Compiler | Version: 7.7
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+------------------------------------
Comment (by Krzysztof Gogolewski
#8368: Panic in rejigConRes -------------------------------------+------------------------------------ Reporter: goldfire | Owner: goldfire Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by monoidal): * status: patch => closed * resolution: => fixed Comment: Done! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8368#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8368: Panic in rejigConRes -------------------------------------------------+------------------------- Reporter: goldfire | Owner: Type: bug | goldfire Priority: normal | Status: Component: Compiler | closed Resolution: fixed | Milestone: Operating System: Unknown/Multiple | Version: 7.7 Type of failure: None/Unknown | Keywords: Test Case: indexed- | Architecture: types/should_fail/{T8368,T8368a} | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by goldfire): * testcase: => indexed-types/should_fail/{T8368,T8368a} Comment: Thanks, monoidal, for doing the last leg of the fix. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8368#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC