Panic in rejigConRes

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.

Trac metadata

Trac field	Value
Version	7.7
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed weight to 5

added Tbug Trac import labels

I have fixed this, but I am unable to validate, as per this email. If someone wants to validate and push, I'd be grateful. Or, suggest a way I can validate. :)

Attached file 0001-Fix-Trac-8368.patch (download).

Attached file 0001-New-tests-for-8368.patch (download).

mentioned in commit f76d68d3

@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]) $ 

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!

mentioned in commit 0c7d2d75

closed

Done!

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

Thanks, monoidal, for doing the last leg of the fix.

Trac metadata

Trac field	Value
Test case	→ indexed-types/should_fail/{T8368,T8368a}

added Pnormal label