2 Reference

Macro sealed have following form: (sealed <tested-function> <clause> ...), where <tested-function> must be identifier, not expression. Each clause may be in one of following form:

• (<args> ... *** <value>) Asserts, that (equal? (<tested-function> <args> ...) <value>).
• (<args> ... *+* <value>) Asserts, that (equal? (<tested-function> <args> ...) (quote <value))
• (<args> ... *!* <value>) Asserts, that (<tested-function> <args> ...) throws (quote <value>)
• (<form> => <value> ...) Asserts, that evaluation of <form> yield specified value or values.
• (<form> !--> <key> <args> ...) Asserts, that evaluation of <form> throws exception with key <key> and arguments, matching <args>. It is okay if exception thrown proviedes more arguments, that you specified.
• (<form>) Asserts, that <form> evaluates to #t