MrSpidey: spidey.ss

Next: Strings: string.ss Up: MzLib Libraries Previous: Sharing: shared.ss

## MrSpidey: `spidey.ss`

Files: `spidey.ss`

This library defines dummy macros for compatibility with MrSpidey annotations (see PLT MrSpidey: Static Debugger Manual). 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)`