18 |
"The standardized package nicknames specified in section 11 of ANSI CL are exclusive (disputed).") |
"The standardized package nicknames specified in section 11 of ANSI CL are exclusive (disputed).") |
19 |
|
|
20 |
(defnote :type-of/strict-builtins |
(defnote :type-of/strict-builtins |
21 |
"Interpret requirement 1.a on the TYPE-OF page to apply to all built-in types that contain the object, not just to some builtin type that contains the object.") |
"Interpret requirement 1.a on the TYPE-OF page to apply to all built-in types that |
22 |
|
contain the object, not just to some builtin type that contains the object.") |
23 |
|
|
24 |
(defnote :assume-no-gray-streams |
(defnote :assume-no-gray-streams |
25 |
"Disable the test if gray streams are present.") |
"Disable the test if gray streams are present.") |
33 |
#+sbcl (rt::disable-note :open-if-exists-new-version-no-error) |
#+sbcl (rt::disable-note :open-if-exists-new-version-no-error) |
34 |
|
|
35 |
(defnote :negative-zero-is-similar-to-positive-zero |
(defnote :negative-zero-is-similar-to-positive-zero |
36 |
"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.") |
"The definition of similarity implies that -0.0 and 0.0 are similar (for each float type.) |
37 |
|
If negative zeros are distinct this is probably not good, since it makes (defconstant x 0.0) be nonportable.") |
38 |
|
|
39 |
|
(defnote :result-type-element-type-by-subtype |
40 |
|
"Assume that (for sequence functions MAP, etc.) the element type of a vector result type |
41 |
|
is defined to be the type X such that result-type is a subtype of (vector X).") |
42 |
|
|
43 |
|
;;; Haible disagrees with :result-type-element-type-by-subtype |
44 |
|
#+clisp (rt::disable-note :result-type-element-type-by-subtype) |