From 75f386f48b352bd6e27d7b226d10b71d195b1ffa Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Wed, 31 Aug 2005 01:20:02 +0000 Subject: [PATCH] Add two more notes, one for MAKE-CONDITION.[34], and one for ANSI spec problems in general. --- ansi-tests/make-condition.lsp | 2 ++ ansi-tests/notes.lsp | 6 ++++++ 2 files changed, 8 insertions(+) diff --git a/ansi-tests/make-condition.lsp b/ansi-tests/make-condition.lsp index 2cf9df27..0b1ee2d1 100644 --- a/ansi-tests/make-condition.lsp +++ b/ansi-tests/make-condition.lsp @@ -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) diff --git a/ansi-tests/notes.lsp b/ansi-tests/notes.lsp index 7b6cb1fc..95d5bc8e 100644 --- a/ansi-tests/notes.lsp +++ b/ansi-tests/notes.lsp @@ -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.") -- GitLab