Synopsis Qualified names cannot be declared.
Description When the same name is declared in different modules, a qualified name can be used to refer to a specific version of that name. This error is generated when a qualified name is used in a declaration.

Remedy: remove the qualification.
Examples Using a qualified name gives an error:
rascal>data M::D = d();
|stdin:///|(5,4,<1,5>,<1,9>): Declaration of qualified names is not allowed
Without the qualification, this is correct:
rascal>data D = d();
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit