For example, defining that ``find should be prepared to signal an error of type type-error if its second argument is not a proper list'' does not imply that an error is always signaled. The form
(find 'a '(a b . c))
must either signal an error of type type-error in safe code, else return A. In unsafe code, the consequences are undefined. By contrast,
(find 'd '(a b . c))
must signal an error of type type-error in safe code. In unsafe code, the consequences are undefined. Also,
(find 'd '#1=(a b . #1#))
in safe code might return nil (as an implementation-defined extension), might never return, or might signal an error of type type-error. In unsafe code, the consequences are undefined.
Typically, the ``should be prepared to signal'' terminology is used in type checking situations where there are efficiency considerations that make it impractical to detect errors that are not relevant to the correct operation of the operator.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4