Chapter 26

spidey.ss: MrSpidey Annotations

This library defines syntax for annotations understood by MrSpidey (see PLT MrSpidey: Static Debugger Manual). 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)