id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
1781	Type equality class leads to non-termination	chak		"This program sends the type checker to the land of no return:
{{{
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
{-# LANGUAGE FlexibleInstances, FlexibleContexts #-}

module ShouldCompile where

class E a b | a -> b, b -> a
instance E a a

plus :: (E a (Int -> Int)) => Int -> a
plus x y = x + y
}}}"	bug	closed	normal		Compiler (Type checker)	6.9	fixed		g9ks157k@…	Unknown/Multiple	Unknown/Multiple		Unknown	FD1