source: trunk/source/tests/ansi-tests/notes.lsp @ 8991

Last change on this file since 8991 was 8991, checked in by gz, 12 years ago

Check in the gcl ansi test suite (original, in preparation for making local changes)

File size: 2.1 KB
Line 
1;-*- Mode:     Lisp -*-
2;;;; Author:   Paul Dietz
3;;;; Created:  Mon Jun 30 21:43:23 2003
4;;;; Contains: Notes concerning various parts of the ANSI spec.
5
6(in-package :cl-test)
7
8(defnote :allow-nil-arrays
9  "Allow specialized arrays of type (array nil).")
10
11(defnote :allow-nonzero-nil-vectors
12  "Allow specialized vectors of type (vector nil) of nonzero size.")
13
14(defnote :nil-vectors-are-strings
15  "Assume that (VECTOR NIL) objects are strings.")
16
17(defnote :standardized-package-nicknames
18  "The standardized package nicknames specified in section 11 of ANSI CL are exclusive (disputed).")
19
20(defnote :type-of/strict-builtins
21  "Interpret requirement 1.a on the TYPE-OF page to apply to all built-in types that
22contain the object, not just to some builtin type that contains the object.")
23
24(defnote :assume-no-gray-streams
25  "Disable the test if gray streams are present.")
26
27(defnote :assume-no-simple-streams
28  "Disable the test if simple streams are present.")
29
30(defnote :open-if-exists-new-version-no-error
31  "Assume that OPEN, when called with :if-exists :new-version, does not fail.")
32
33#+sbcl (rt::disable-note :open-if-exists-new-version-no-error)
34
35(defnote :make-condition-with-compound-name
36  "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.")
37
38(defnote :ansi-spec-problem
39  "A catch-all for tests that illustrate problems in the ANSI spec.")
40
41(defnote :negative-zero-is-similar-to-positive-zero
42  "The definition of similarity implies that -0.0 and 0.0 are similar (for each float type.)
43If negative zeros are distinct this is probably not good, since it makes (defconstant x 0.0) be nonportable.")
44
45(defnote :result-type-element-type-by-subtype
46  "Assume that (for sequence functions MAP, etc.) the element type of a vector result type
47   is defined to be the type X such that result-type is a subtype of (vector X).")
48
49;;; Haible disagrees with :result-type-element-type-by-subtype
50#+clisp (rt::disable-note :result-type-element-type-by-subtype)
51#+(or openmcl gcl ecl) (rt::disable-note :nil-vectors-are-strings)
52#+gcl (rt::disable-note :allow-nil-arrays)
Note: See TracBrowser for help on using the repository browser.