Currently, they say duplicate or conflicting attribute. However that looks rather unprofessional/unclean. Instead, we should just say duplicate attribute if the attribute is nullary (zero arguments) or if all the arguments are equal. In the other case, we should say conflicting attribute.
Currently, they say
duplicate or conflicting attribute
. However that looks rather unprofessional/unclean. Instead, we should just sayduplicate attribute
if the attribute is nullary (zero arguments) or if all the arguments are equal. In the other case, we should sayconflicting attribute
.