/[gcl]/gcl/ansi-tests/notes.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/notes.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.7 by pfdietz, Sun May 16 11:51:33 2004 UTC revision 1.8 by pfdietz, Sat Oct 2 12:12:48 2004 UTC
# Line 18  Line 18 
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.")
# Line 32  Line 33 
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)

Legend:
Removed from v.1.7  
changed lines
  Added in v.1.8

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26