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

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

Assorted cleanup:

In infrastructure:

  • add *test-verbose* and :verbose argument to do-test and do-tests. Avoid random output if false, only show failures
  • muffle-wawrnings and/or bind *suppress-compiler-warnings* in some tests that unavoidably generate them (mainly with duplicate typecase/case clauses)
  • Add record-source-file for tests so meta-. can find them
  • If *catch-errors* (or the :catch-errors arg) is :break, enter a breakloop when catch an error
  • Make test fns created by *compile-tests* have names, so can find them in backtraces
  • fix misc compiler warnings
  • Fixed cases of duplicate test numbers
  • Disable note :make-condition-with-compound-name for openmcl.

In tests themselves:

I commented out the following tests with #+bogus-test, because they just seemed wrong to me:

lambda.47
lambda.50
upgraded-array-element-type.8
upgraded-array-element-type.nil.1
pathname-match-p.5
load.17
load.18
macrolet.47
ctypecase.15

In addition, I commented out the following tests with #+bogus-test because I was too lazy to make a note
for "doesn't signal underflow":

exp.error.8 exp.error.9 exp.error.10 exp.error.11 expt.error.8 expt.error.9 expt.error.10 expt.error.11

Finally, I entered bug reports in trac, and then commented out the tests
below with #+known-bug-NNN, where nnn is the ticket number in trac:

ticket#268: encode-universal-time.3 encode-universal-time.3.1
ticket#269: macrolet.36
ticket#270: values.20 values.21
ticket#271: defclass.error.13 defclass.error.22
ticket#272: phase.10 phase.12 asin.5 asin.6 asin.8
ticket#273: phase.18 phase.19 acos.8
ticket#274: exp.error.4 exp.error.5 exp.error.6 exp.error.7
ticket#275: car.error.2 cdr.error.2
ticket#276: map.error.11
ticket#277: subtypep.cons.43
ticket#278: subtypep-function.3
ticket#279: subtypep-complex.8
ticket#280: open.output.19 open.io.19 file-position.8 file-length.4 file-length.5 read-byte.4 stream-element-type.2 stream-element-type.3
ticket#281: open.65
ticket#288: set-syntax-from-char.sharp.1

File size: 2.2 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#+openmcl (rt::disable-note :make-condition-with-compound-name)
39
40(defnote :ansi-spec-problem
41  "A catch-all for tests that illustrate problems in the ANSI spec.")
42
43(defnote :negative-zero-is-similar-to-positive-zero
44  "The definition of similarity implies that -0.0 and 0.0 are similar (for each float type.)
45If negative zeros are distinct this is probably not good, since it makes (defconstant x 0.0) be nonportable.")
46
47(defnote :result-type-element-type-by-subtype
48  "Assume that (for sequence functions MAP, etc.) the element type of a vector result type
49   is defined to be the type X such that result-type is a subtype of (vector X).")
50
51;;; Haible disagrees with :result-type-element-type-by-subtype
52#+clisp (rt::disable-note :result-type-element-type-by-subtype)
53#+(or openmcl gcl ecl) (rt::disable-note :nil-vectors-are-strings)
54#+gcl (rt::disable-note :allow-nil-arrays)
Note: See TracBrowser for help on using the repository browser.