29 |
|
|
30 |
7. (SETF (GETF form1 form2 form3) form4) is evaluating the subforms |
7. (SETF (GETF form1 form2 form3) form4) is evaluating the subforms |
31 |
in the wrong order: form3 is being evaluated before (the subforms of) |
in the wrong order: form3 is being evaluated before (the subforms of) |
32 |
form1 and form2. ansi-test: setf-getf.order.2 |
form1 and form2. ansi-tests: setf-getf.order.2 |
33 |
|
|
34 |
8. Similar to #5, but the error is for GETF. ansi-tests: getf.error.[45] |
8. Similar to #5, but the error is for GETF. ansi-tests: getf.error.[45] |
35 |
|
|
36 |
9. REMF is violating the requirement that the value of the place be |
9. REMF is violating the requirement that the value of the place be |
37 |
read out after all the other subforms of the REMF form are computed |
read out after all the other subforms of the REMF form are computed |
38 |
(even the ones to the right of the place form; see section 5.1.3 |
(even the ones to the right of the place form; see section 5.1.3 |
39 |
of CLtS). ansi-test: remf.order.3 |
of CLtS). ansi-tests: remf.order.3 |
40 |
|
|
41 |
|
10. Similar to #5, but on ELT when the index is out of range. Should |
42 |
|
return a type-error with datum == the index and type == |
43 |
|
`(integer 0 (,(length sequence))) (or NIL if the sequence has length 0). |
44 |
|
ani-tests: elt.1, elt.1b, elt.2, |
45 |
|
|
46 |
|
11. There's an internal type error somewhere in the code exercised by |
47 |
|
elt.10 -- the invalid type (integer 0 . 1) is being passed to TYPEP |
48 |
|
(and similarly for elt.14, elt-v.1, elt-v.10, elt-adj-array.1, |
49 |
|
elt-adj-array.10, elt-displaced-array.1, elt-fill-pointer.[3468], |
50 |
|
and elt,error.[45]). |
51 |
|
|
52 |
|
12. Coerce can't coerce a vector of characters into a base-string. |
53 |
|
ansi-tests: fill.string.10 |
54 |
|
|
55 |
|
13. MAKE-SEQUENCE fails on type argument NULL,. (CLASS-OF NIL), or LIST. |
56 |
|
ansi-tests: make-sequence,9, make-sequence.49. make-sequence.57 |
57 |
|
|
58 |
|
14. The datum and expected type fields of the type errors thrown by |
59 |
|
MAKE-SEQUENCE, MAP do not satisfy the constraint that the datum |
60 |
|
is not of type expected-type. ansi-tests: make-sequence.error.1, |
61 |
|
make-sequence.error.2, make-sequence.error.14, make-sequence.error.16, |
62 |
|
map.error.1, map.error.1a, map.error.11. |
63 |
|
|
64 |
|
15. MAP fails on type argument NULL, (OR (VECTOR 5) (VECTOR 10)) |
65 |
|
ansi-tests: map-null.1, map.48 |
66 |
|
|
67 |
|
16. NREVERSE is broken on vectors of element type LISP:SIGNED-SHORT |
68 |
|
|
69 |
|
(let ((v (make-array '(7) :initial-contents '(1 1 0 1 1 1 0) |
70 |
|
:element-type 'lisp:signed-short))) |
71 |
|
(nreverse v)) |
72 |
|
==> #(0 1 1 1 1 1 0) |
73 |
|
|
74 |
|
(ansi-tests: nreverse-vector.7, nreverse-vector.8) |
75 |
|
|
76 |
|
17. The setf expander for SUBSEQ returns the wrong value (the entire |
77 |
|
vector is returned rather than the aubsequence being assigned.) |
78 |
|
ansi-tests: subseq.order.[34] |
79 |
|
|
80 |
|
18. CONCATENATE fails on type argument of NULL, as does MERGE. |
81 |
|
ansi-tests:. concatenate.24, merge-null.1, merge.error.6 |
82 |
|
|
83 |
|
19, There are 140 symbols exported from the COMMON-LISP package that |
84 |
|
should not be external in taht package. |
85 |
|
ansi-tests: no-extra-symbols-exported-from-common-lisp |
86 |
|
|
87 |
|
20. 19 functions are missing: arithmetic-error-operands |
88 |
|
broadcast-stream-streams cell-error-name concatenated-stream-streams |
89 |
|
echo-stream-input-stream echo-stream-output-stream |
90 |
|
function-lambda-expression get-setf-expansion |
91 |
|
make-load-form-saving-slots pprint-indent pprint-newline |
92 |
|
pprint-tab print-not-readable-object simple-condition-format-control |
93 |
|
synonym-stream-symbol two-way-stream-input-stream |
94 |
|
two-way-stream-output-stream unbound-slot-instance |
95 |
|
compiler-macro-function readtable-case. |
96 |
|
|
97 |
|
ansi-tests: cl-function-symbols.1, dcf-funs and these tests: |
98 |
|
|
99 |
|
cell-error-name: |
100 |
|
symbol-value.error.5 symbol-function.error.5 makunbound.2 |
101 |
|
|
102 |
|
21. The following macros are missing: define-compiler-macro |
103 |
|
define-setf-expander define-symbol-macro in-package. |
104 |
|
ansi-tests: cl-macro-symbols.1, in-package.error.1, |
105 |
|
dcf-macros, define-setf-expander.error.1, |
106 |
|
define-setf-expander.[1234567], |
107 |
|
|
108 |
|
22. GENTEMP should take a package designator as its second argument, |
109 |
|
not just a package object. ansi-tests: gentemp.[345]. |
110 |
|
|
111 |
|
23. (special-operator-p 'symbol-macrolet) should be true. |
112 |
|
ansi-tests: special-operator-p.1 |
113 |
|
|
114 |
|
24. (debatable) special-operator-p should be nil on DECLARE and IN-PACKAGE. |
115 |
|
ansi-tests: special-operator-p.2 |
116 |
|
|
117 |
|
25. (debatable) "USER" should not be a nickname of "COMMON-LISP-USER" |
118 |
|
(instead, it can name a separate package). |
119 |
|
ansi-tests: common-lisp-user-package-nicknames |
120 |
|
|
121 |
|
26. FIND-ALL-SYMBOLS should take a string designator, which includes |
122 |
|
character values. ansi-tests: find-all-symbols.2 |
123 |
|
|
124 |
|
27. Free special declarations do not apply to the final value clauses |
125 |
|
of iteration forms. ansi-tests: do-symbols.16 do-external-symbols.16 |
126 |
|
|
127 |
|
28. The scope of the bound variable in DO-ALL-SYMBOLS should include |
128 |
|
the final value form. ansi-tests: do-all-symbols.4 |
129 |
|
|
130 |
|
29. The implicit block in DO-ALL-SYMBOLS should surround the entire |
131 |
|
loop, including the return value form. ansi-tests: do-all-symbols.6 |
132 |
|
|
133 |
|
30. DO-ALL-SYMBOLS should accept declarations. ansi-tests: do-all-symbols.9 |
134 |
|
do-all-symbols.10 do-all-symbols.11 |
135 |
|
|
136 |
|
31. IMPORT should set the home package of any symbol being imported that |
137 |
|
does not have a home package. ansi-tests: import.5 |
138 |
|
|
139 |
|
32. The setf expander for VALUES evaluates the source form before the subforms |
140 |
|
of the destination places. ansi-tests: setf-values.5 |
141 |
|
|
142 |
|
33. Order of evaluation problem in expansion of psetq/psetf, possibly involving |
143 |
|
symbol macros. ansi-tests: psetq.7 psetf.7 |
144 |
|
|
145 |
|
34. Cannot create classes whose names are uninterned symbols. |
146 |
|
ansi-tests: psetf.35 rotatef.35 |
147 |
|
|
148 |
|
35. ROTATEF does not work with no arguments. snsi-tests: rotatef.3 |
149 |
|
|
150 |
|
36. DEFSETF (long form) should produce an implicit block with the name |
151 |
|
of the accessor-fn. ansi-tests: defsetf.5a |
152 |
|
|
153 |
|
37. The expansion function produced by DEFSETF (long form) should be defined |
154 |
|
in the same lexical environment in which the DEFSETF form appears. |
155 |
|
ansi-tests: defsetf.6a |
156 |
|
|
157 |
|
38. The control error signaled by (throw (gensym) nil) isn't printable |
158 |
|
when *print-escape* and *print-readably* are nil. ansi-tests: throw-error |
159 |
|
|
160 |
|
39. DOCUMENTATION should be allowed to be called on function objects, not |
161 |
|
just function names. ansi-tests: define-modify-macro.documentation.1 |
162 |
|
define-modify-macro.documentation.2 |
163 |
|
|
164 |
|
40. In DEFUN where the function names is a (SETF <name>) pair, there is an |
165 |
|
implicit block with name <name>. ansi-tests: defun.4 |
166 |
|
|
167 |
|
41. Free special declarations do not apply to the expressions in &aux, |
168 |
|
&optional or &key forms of an ordinary lambda list. See also bug #49. |
169 |
|
ansi-tests: defun.5 defun.6 defun.7 |
170 |
|
|
171 |
|
42. &WHOLE causes an error during macroexpansion in destructuring-bind. |
172 |
|
ansi-tests: destructuring-bind.20 |
173 |
|
|
174 |
|
43. destructuring-bind fails to destructure in the &rest parameter |
175 |
|
ansi-tests: destructuring-bind.21 |
176 |
|
|
177 |
|
44. The macro function for destructuring-bind (and, I suspect, many |
178 |
|
other builtin macros) fails to properly signal a program error |
179 |
|
when called on an invalid number of arguments. ansi-tests: |
180 |
|
destructuring-bind.error.[789] |
181 |
|
|
182 |
|
45 .No hash table with :key EQUALP. |
183 |
|
ansi-tests: equalp.21 |
184 |
|
|
185 |
|
46. EQUALP fails to properly compare hash tables. |
186 |
|
ansi-tests: equalp.22 to equalp.35 |
187 |
|
|
188 |
|
47. The type error signalled by EVERY has the datum and expected-type |
189 |
|
slots switched. ansi-tests: every.error.1 |
190 |
|
|
191 |
|
48. flet and labels do not accept SETF function names. |
192 |
|
ansi-tests: flet.17 labels.17 flet.51 labels.26 |
193 |
|
|
194 |
|
49. Free special declarations in flet and labels forms do not affect |
195 |
|
the expressions in the &aux, &optional and &key fields of the |
196 |
|
ordinary lambda list. See also bug #41. ansi-tests: flet.62 flet.63 |
197 |
|
flet.67 labels.41 labels.42 labels.46 |
198 |
|
|
199 |
|
50. Funcall should throw an undefined function error when called on a symbol |
200 |
|
that has a macro function binding but not a function binding. |
201 |
|
ansi-tests: funcall.error.3 |
202 |
|
|