Synopsis An annotation is used that has not been declared.
Description An Rascal:Declarations/Annotation can be used to add information to an instance of an Rascal:AlgebraicDataType. An annotation has to declared beforehand. This error is generated when an undeclared annotation is used.

  • Declare the annotation.
  • Use an already declared annotation.
Examples This is correct:
rascal>data Fruit = apple(int n) | orange(int n);
rascal>anno str Fruit @ quality;
rascal>piece = orange(13);
Fruit: orange(13)
rascal>piece @ quality = "great";
Fruit: orange(13)[
But using a wrong annotation name generates an error:
rascal>piece @ qual;
|stdin:///|(0,5,<1,0>,<1,5>): Undeclared annotation: qual on Fruit
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