id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
1760	Redefiniendo constantes	Pedro Gea	Víctor de Buen Remiro	"En primer lugar he encontrado un ''bug'' en mi código, ya que de manera no intencionada, añadía un miembro a {{{NoNameBlock}}}.

{{{
#!java
Real AddMember(NoNameBlock, Real a = 1);
Real Card(Members(NoNameBlock)) // -> 1 !!
}}}

Luego, comprobando que {{{Empty}}} no puede redefinirse, me doy cuenta de que esto no es cierto de manera indirecta:

{{{
#!java
Set f(Set a) { Append(a, [[Real b = 1]]) };
Set f(Empty);
Real Card(Empty); // => 1 !!
}}}"	defect	new	highest	Mantainance	Kernel	3.1	critical