Next: GNU Free Documentation License, Previous: Introduction, Up: Top [Contents][Index]
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