id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
7102	Type family instance overlap accepted in ghci	exbb2		"This code works if I paste it line by line in ghci, but not if i try to load or compile it.
{{{
{-# LANGUAGE TypeFamilies #-}

data Rec a b =  Rec {unRec :: Rec a b -> b}

class RecursiveFun f where type A a b :: *; recurse :: f (A a b) b -> b

instance RecursiveFun Rec where type A a b = a; recurse r = unRec r r

instance RecursiveFun (->) where type A a b = Rec a b; recurse f = f (Rec f)

}}}
"	bug	closed	normal		GHCi	7.4.1	wontfix		exbb2@…	Unknown/Multiple	Unknown/Multiple	GHC accepts invalid program	Unknown