Synopsis A field name is redeclared.
Description The definition of an Rascal:AlgebraicDatatype consists of a number of constructor functions.
Each constructor has named fields but the same field name may only be used in different constructors
if it has the same type in all occurrences in the declaration.
Remedy: rename one of the fields in the declaration.
Remedy: rename one of the fields in the declaration.
Examples This is correct since all occurrences of
key have type int:
rascal>data D = d1(int key) | d2(str name, int key);
ok
This is incorrect since key is used as int and as str.
rascal>data D = d1(int key) | d2(str key);
|stdin:///|(23,11,<1,23>,<1,34>): The field name key is illegally used for both str and int in type D
This can be corrected by choosing other names for the labels:
rascal>data D = d1(int intKey) | d2(str strKey);
ok
A tuple declaration with a duplicate field name also gives an error:
rascal>tuple[int x, str x] Q = <3,"abc">;
|stdin:///|(13,5,<1,13>,<1,18>): x