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,,,,