#
Chapter 30
`spidey.ss`: MrSpidey Annotations

This library defines syntax for annotations that used to be understood by MrSpidey. The annotations are associated to syntax objects via properties (see section 12.6.2 in PLT MzScheme: Language Manual), and the syntax forms below otherwise expand away. The following macros are defined:

- `:` -- expands to the first expression

- `polymorphic` -- expands to the first expression

- `define-constructor` -- expands to `(void)`

- `define-type` -- expands to `(void)`

- `mrspidey:control` -- expands to `(void)`

- `type:` -- expands to `(void)`