PLT MzLib: Libraries Manual 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)