Annotations

[jayconrod]

Gypsum should allow programmers to annotate definitions.

Annotations should be defined with the annotation keyword. Annotations may have parameters as part of their definition.

annotation Foo
annotation Bar(x: i32, y: String)

Annotations should be written before the attributes of a definition. The '#' symbol should be used to distinguish them from other identifiers.

#Foo
#Bar(12, "bar")
def do-stuff = ...

A reflection mechanism should be provided to list the annotations associated with a definition. It should also be possible to list the definitions annotated with a given annotation. These mechanisms should be exposed in the Gypsum language and in the CodeSwitch API.