source: trunk/source/tests/ansi-tests/TODO @ 8991

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

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

File size: 4.3 KB
Line 
1Things to do to the test suite (not a complete list)
2
31. subtypep and typep on complex types
4
52. Refactor random type/element-of-type code.  There's too much
6  duplication.
7
83. More type tests on array types
9
104. Extend random subtypep tester to array types. (complex types already added,
11  but should extend generator of random real types)
12
135. Add JA's long form define-method-combination tests (from clisp),
14  or write own (partially done)
15
166. adjust-array (need to add specialized integer arrays other than
17  bit vectors, and float vectors)
18
197. Address synonym-stream issues (from Duane Rettig)
20
218. accuracy tests for numeric functions
22
239. Test that the streams operators that manipulate files
24  do the right things with *default-pathname-defaults*.
25
2610. Two-arg tests of FILE-POSITION on binary streams.
27
2811. Address issues with broadcast streams (C. Rhodes) -- apparent
29   contradictions in the spec.
30
3117. Tests that have an argument that provides a return value for special
32  conditions (like eof) that happens to be the same as a normal value the
33  functions would return (suggested by CR).
34
3518. Add random tests for COERCE (the result either is either typep of the
36 second arg (except for rational stuff) or a type-error is signalled.)
37
3819. Add two missing tests from CLOS (spotted by Bruno Haible):
39
40;; Shared slot remains shared.
41;; CLHS 4.3.6.: "The value of a slot that is specified as shared both in the old
42;;               class and in the new class is retained."
43(multiple-value-bind (value condition)
44    (ignore-errors
45      (defclass foo74 () ((size :initarg :size :initform 1 :allocation :class)))
46      (setq i (make-instance 'foo74))
47      (defclass foo74 () ((size :initarg :size :initform 2 :allocation :class) (other)))
48      (slot-value i 'size))
49  (list value (type-of condition)))
50Expected: (1 NULL)
51Got:      (2 NULL)
52
53(progn
54  (defclass foo92b (foo92a) ((s :initarg :s)))
55  (defclass foo92a () ())
56  (let ((x (make-instance 'foo92b :s 5)) (update-counter 0))
57    (defclass foo92b (foo92a) ((s) (s1) (s2))) ; still subclass of foo92a
58    (slot-value x 's)
59    (defmethod update-instance-for-redefined-class ((object foo92b) added-slots discarded-slots property-list &rest initargs)
60      (incf update-counter))
61    (make-instances-obsolete 'foo92a)
62    (slot-value x 's)
63    update-counter))
64Expected: 1
65Got:      0
66
6721. The random tester showed (SETF AREF) wasn't being tested enough.  Add tests.
68
6922. Add more symbol printing tests.  In particular, there doesn't appear to
70 be a test that (princ :foo) >> :FOO  (noticed by PG in ABCL)
71
7223. Modify rt so that when failing tests are reported, they are grouped by
73  :notes and the :notes comment is printed out.  This will help explain
74  what the failures mean.
75
7628. Add tests for reading/printing with packages with weird names (lower case letters,
77  digits, etc.)
78
7930. Add more pathname equality tests to equal.lsp
80
8134. (from C Rhodes) Test that CERROR allows additional arguments after a
82  condition designating itself to be used in the continue format control.
83
8436. Add tests for bad default-initargs in object constructors.
85
8637. Add tests that  methods on initialize-instance and
87   shared-initialize receive defaulted initargs from compiled
88   make-instance
89
9038, Floating point tests must be expanded.
91  -- Add tests for the floating point inspection functions (decode-float, etc.)
92  -- Add tests of -0.0 vs. 0.0 consistency (a bug here affected abcl)
93  -- transcendantal functions
94
9539. There are various constraints that things defined at the top level become
96  available at compile time.  Test these constraints.
97
9840, Check that OPEN, etc. do pathname merging.
99
10041. Add tests for MOD, REM
101
10242. Add randomized tests for BIT-* functions (requested by piso on #lisp)
103  (partially done; tests on simple bit vectors going to a new bit vector
104   have been added; should add in-place versions and operations on non-simple
105   bit-vectors and non-vector arrays)
106
10743. Add tests for structs that defining subtypes using :include doesn't change
108    the parent type(s).  (This came up in ABCL.)
109
11044. Add tests for SPECIAL declarations in MACROLET (requested by piso on #lisp)
111  (partially done)
112
11345. Sweep files for missing order-of-execution tests
114
11546. Add tests that class objects are valid class specifiers in method definitions.
116
11747. Test that :import-from in DEFPACKAGE can take a package object.
Note: See TracBrowser for help on using the repository browser.