id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
6129	Failure when using promoted data family instances, again	dreixel		"The following code should fail (since we don't promote data families), but it should do so gracefully: 
{{{
{-# LANGUAGE GADTs        #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds    #-}
{-# LANGUAGE DataKinds    #-}

data family D a
data instance D a = DInt

data X a where
  X1 :: X DInt
}}}

With ghc-7.5.20120513 it produces:
{{{
    GHC internal error: `DInt' is not in scope during type checking, but it passed the renamer
    tcl_env of environment: [(a1t1, AThing k_a1t8),
                             (rVJ, AThing k_a1t8 -> *), (rW1, ANothing)]
    In the type `X DInt'
    In the definition of data constructor `X1'
    In the data declaration for `X'
}}}

#5716 seems not to have fixed this particular case."	bug	closed	normal		Compiler	7.5	fixed	PolyKinds		Unknown/Multiple	Unknown/Multiple	None/Unknown	Unknown	polykinds/T6129