id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
146	Report error on instance redefinition	erikd	erikd	"This code:

{{{

data Whatever = A Int | B String

instance Show Whatever where
	show (A _) = ""integer""
	show (B _) = ""string""

instance Show Whatever where
	show (A x) = show x
	show (B x) = show x
}}}

fails at the C compile stage with:

{{{
./Test.ddc.c:96: error: redefinition of 'Test_instance_Show_Whatever_show'
./Test.ddc.c:46: note: previous definition of 'Test_instance_Show_Whatever_show' was here
}}}

Instead, it should result in a compiler error because the instance is being redefined.

This is related to bug #33 (Check for conflicting projection functions).

"	defect	closed	blocker		Source Parser	0.1.2	fixed