Commit 75f386f4 authored by pfdietz's avatar pfdietz
Browse files

Add two more notes, one for MAKE-CONDITION.[34], and one for ANSI spec problems in general.

parent db19db27
......@@ -26,6 +26,7 @@
nil)
(deftest make-condition.3
(:notes :make-condition-with-compound-name :ansi-spec-problem)
(let* ((tp '(or program-error type-error))
(c (make-condition tp)))
(or (not (and (subtypep tp 'condition)
......@@ -35,6 +36,7 @@
t)
(deftest make-condition.4
(:notes :make-condition-with-compound-name :ansi-spec-problem)
(let* ((tp '(and simple-error type-error))
(c (make-condition tp)))
(or (not (and (subtypep 'simple-error tp)
......
......@@ -32,6 +32,12 @@ contain the object, not just to some builtin type that contains the object.")
#+sbcl (rt::disable-note :open-if-exists-new-version-no-error)
(defnote :make-condition-with-compound-name
"The spec says MAKE-CONDITION should work on any subtype of CONDITION, but this causes all sorts of problems. They probably meant only non-compound names.")
(defnote :ansi-spec-problem
"A catch-all for tests that illustrate problems in the ANSI spec.")
(defnote :negative-zero-is-similar-to-positive-zero
"The definition of similarity implies that -0.0 and 0.0 are similar (for each float type.)
If negative zeros are distinct this is probably not good, since it makes (defconstant x 0.0) be nonportable.")
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment