+ Christian Nybø <[EMAIL PROTECTED]>: | > Well, according to the hyperspec, subtypep cannot signal an exception. | | How does the hyperspec state that? Is it the line "Exceptional | situations: None"?
That is how I read it, yes. Also, the absence of the words "undefined" or "unspecified". See also: 1.4.2 Error Terminology Situations in which errors might, should, or must be signaled are described in the standard. Which I take as meaning: If the standard doesn't say an error might, should or must be signaled in a certain situation, then an error must not be signaled in that situation. - Harald
