/[gcl]/gcl/BUGS
ViewVC logotype

Diff of /gcl/BUGS

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

revision 1.2 by camm, Fri Aug 12 15:42:49 2005 UTC revision 1.3 by pfdietz, Sat Aug 13 21:00:52 2005 UTC
# Line 29  number in place so it isn't reused. Line 29  number in place so it isn't reused.
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    

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3

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