[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Revised failure list
From: |
Paul F. Dietz |
Subject: |
[Gcl-devel] Revised failure list |
Date: |
Mon, 17 Feb 2003 19:42:45 -0600 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2) Gecko/20021126 |
Here's the revised test failure list after the recent changes. I've
insert new failures in the order in which they appear in the test
suite, and former bugs as 'fixed'.
----
Bugs causing test failures in gcl (2/17/03):
1. LOAD-TIME-VALUE and SYMBOL-MACROLET should be special operators
(special-operator-p.1)
2. DECLARE shouldn't be a special operator (special-operator-p.2)
3. The following builtin functions do not exist:
(ARITHMETIC-ERROR-OPERANDS BROADCAST-STREAM-STREAMS
CELL-ERROR-NAME CONCATENATED-STREAM-STREAMS
COPY-PPRINT-DISPATCH ECHO-STREAM-INPUT-STREAM
ECHO-STREAM-OUTPUT-STREAM ENSURE-DIRECTORIES-EXIST
FUNCTION-LAMBDA-EXPRESSION GET-SETF-EXPANSION
HASH-TABLE-REHASH-SIZE HASH-TABLE-REHASH-THRESHOLD
INTERACTIVE-STREAM-P
LOAD-LOGICAL-PATHNAME-TRANSLATIONS LOGICAL-PATHNAME
MAKE-LOAD-FORM-SAVING-SLOTS OPEN-STREAM-P
PATHNAME-MATCH-P PPRINT-DISPATCH PPRINT-FILL
PPRINT-INDENT PPRINT-LINEAR PPRINT-NEWLINE PPRINT-TAB
PPRINT-TABULAR PRINT-NOT-READABLE-OBJECT
READ-SEQUENCE SET-PPRINT-DISPATCH
SIMPLE-CONDITION-FORMAT-CONTROL
STREAM-EXTERNAL-FORMAT SYNONYM-STREAM-SYMBOL
TRANSLATE-LOGICAL-PATHNAME TRANSLATE-PATHNAME
TWO-WAY-STREAM-INPUT-STREAM
TWO-WAY-STREAM-OUTPUT-STREAM UNBOUND-SLOT-INSTANCE
UPGRADED-ARRAY-ELEMENT-TYPE
UPGRADED-COMPLEX-PART-TYPE WILD-PATHNAME-P
WRITE-SEQUENCE COMPILER-MACRO-FUNCTION FDEFINITION
LOGICAL-PATHNAME-TRANSLATIONS READTABLE-CASE)
4. the following macros don't exist:
(DEFINE-COMPILER-MACRO DEFINE-SETF-EXPANDER
DEFINE-SYMBOL-MACRO FORMATTER IN-PACKAGE
PPRINT-LOGICAL-BLOCK PRINT-UNREADABLE-OBJECT
WITH-COMPILATION-UNIT WITH-CONDITION-RESTARTS
WITH-STANDARD-IO-SYNTAX)
5. The following variables don't exist:
(*COMPILE-FILE-PATHNAME* *COMPILE-FILE-TRUENAME*
*COMPILE-PRINT* *COMPILE-VERBOSE* *LOAD-PATHNAME*
*LOAD-PRINT* *LOAD-TRUENAME* *PRINT-LINES*
*PRINT-MISER-WIDTH* *PRINT-PPRINT-DISPATCH*
*PRINT-RIGHT-MARGIN* *READ-EVAL*)
6. The following classes don't exist
(BROADCAST-STREAM CONCATENATED-STREAM ECHO-STREAM
FILE-STREAM FLOATING-POINT-INEXACT
FLOATING-POINT-INVALID-OPERATION FUNCTION HASH-TABLE
LOGICAL-PATHNAME PACKAGE PARSE-ERROR PATHNAME
PRINT-NOT-READABLE RANDOM-STATE READER-ERROR
READTABLE REAL STREAM STRING-STREAM STYLE-WARNING
SYNONYM-STREAM TWO-WAY-STREAM UNBOUND-SLOT)
7. COMPILE should return three results, not one. (COMPILE.2)
8. COMPILE should preserve object identity (EQL-ness)
in the term being compiled. (COMPILE.5,6,7,8)
9. CONSTANTP should take an environment (or NIL) as its
optional second argument. (CONSTANTP.6,8,CONSTANTP.ORDER.2)
10, SETF of VALUES is getting the order of evaluation of
subforms wrong (SETF-VALUES.5)
11. SYMBOL-MACROLET interaction with PSETQ/PSETF/MULTIPLE-VALUE-SETQ
(PSETQ.7, PSETF.7, MULTIPLE-VALUE-SETQ.5,8)
12. THROW to a nonexistant catch tag should cause a CONTROL-ERROR,
not a STREAM-ERROR (test THROW-ERROR).
12.1 STORE-VALUE should take an optional second argument. (CCASE.31,
CTYPECASE.12)
12.2 DESTRUCTURING-BIND should throw a PROGRAM-ERROR on failed destructuring.
(I think.)
13. FBOUDNP isn't working on names of the form (SETF ...). (FBOUNDP.6,7,
FMAKUNBOUND.4, and three STRUCT tests) FLET doesn't work on names
of that form. (FLET 17) #' doesn't either (FUNCTION.7). FUNCTIONP
does not (FUNCTIONP.7) LABELS does not (LABELS.17)
14. FLET isn't handling :ALLOW-OTHER-KEYS arguments properly.
(FLET.27)
15. FLET isn't handling the (keyword variable) syntax of ordinary
lambda lists (FLET.30)
16. FUNCTION-LAMBDA-EXPRESSION and FDEFINITION are undefined
17. symbols and (lambda ...) forms are being treated as elements
of type FUNCTION (this is an incompatible CLTL1/ANSI CL change).
(FUNCTION.2,6; FUNCTIONP.2,6
18. The types FUNCTION and CONS should be disjoint, but they aren't.
(FUNCTION.10, FUNCTIONP.10)
19, GET-SETF-EXPANSION is undefined.
20. MACROLET doesn't understand &WHOLE arguments. (MACROLET.5)
21. SYMBOL-MACROLET and MACROLET expansion interact incorrectly.
(MACROLET.13,14)
22. (fixed)
23. (LOOP FOR NIL BEING THE HASH-KEYS OF ...) is generating some
hard to interpret error (LOOP.6.19,20)
24. (LOOP ... USING (HASH-KEY (k1 . k2)) ...) isn't working.
(LOOP.6.37); similarly for (HASH-VALUE (v1 . v2)) (LOOP.6.38)
25. Various errors for LOOP on the symbols of packages: the iteration
control forms do not allow *PACKAGE* to be used as the default package.
The forms should throw a PACKAGE-ERROR when the package specifier
does not specify an existing package, not a TYPE-ERROR. NIL is not
being accepted as a destructing bind list in these forms (meaning:
don't bind the symbol to anything.) (various LOOP.7.* failures)
26. Destructuring problems in LOOP WITH clauses (LOOP.8.19,20,21,22)
27. Failure to detect conflicting bindings of the same name in LOOP
forms (LOOP.8.ERROR.2, LOOP.9.10,11,27,28,37,38, LOOP.10.9,10,37,38,
57,58,85,86
28. REPEAT clauses are not being allowed where they should be.
LOOP.11.9
29. 'IT' in loop clauses applies only to the first subclause in
a conditional, not to the one after the 'AND'. (LOOP.14.29)
30. SUBTYPEP failures on conditions. The following pairs should
have the subtype relationship, but don't (CONDITION.2):
(SIMPLE-ERROR SIMPLE-CONDITION)
(SIMPLE-ERROR ERROR)
(SIMPLE-ERROR SERIOUS-CONDITION)
(SIMPLE-ERROR CONDITION)
31. CELL-ERROR-NAME is undefined.
31.1 CONTINUE should take an optional argument (ASSERT.3A, ASSERT.7,8)
32. SIMPLE-CONDITION-FORMAT-CONTROL is undefined. (ERROR.*, CERROR.*
tests)
32.1 CHECK-TYPE should signal a TYPE-ERROR, not a SIMPLE-ERROR.
33. Multiple :ALLOW-OTHER-KEYS arguments broken in MAKE-LIST, ADJOIN, MEMBER,
34. fixed.
35. fixed.
36. (SETF (GETF ...) ...) is evaluating arguments in the wrong order
when the ignored third argument to GETF is present. (SETF-GETF.7)
37. fixed
38. fixed
39. 'ARRAY should be equivalent to the class ARRAY in SUBTYPEP.
(ARRAY-AS-CLASS.7,8)
40. Various failures of things to be simple-arrays (simple-array.[457].*;
simple-array-t.[457].*)
41. Large numbers of MAKE-ARRAY.* tests due to the :FAIL-NOT-ARRAY-CLASS
subtest. This is a test that the array is in (FIND-CLASS 'ARRAY).
42. ADJUSTABLE-ARRAY-P should signal a type error if its argument
is not an array. (ADJUSTABLE-ARRAY-P.ERROR.4,5,6)
43. ARRAY-DISPLACEMENT is not working on displaced strings or bit strings.
(MAKE-ARRAY.DISPLACED.9,10, ARRAY-DISPLACEMENT.11)
44. fixed
45. fixed
46 fixed
47. fixed
48. fixed
49. fixed
49.1 (UPGRADED-ARRAY-ELEMENT-TYPE 'BASE-CHAR) should be equivalent
to BASE-CHAR, but is instead STRING-CHAR (and STRING-CHAR is
not a subtype of BASE-CHAR, according to SUBTYPEP).
(UPGRADED-ARRAY-ELEMENT-TYPE.2)
49.2 (UPGRADED-ARRAY-ELEMENT-TYPE NIL) should be NIL.
(UPGRADED-ARRAY-ELEMENT-TYPE.NIL.1)
50. TYPEP is messing up on a number of different vector types:
-- Strings aren't of type (VECTOR T) (neither are bit strings)
(VECTOR.3,VECTOR.6)
-- The two dimensional array #2a((a b c d)) is being considered
a vector (VECTOR.8)
-- fixed
51. fixed
52. fixed
52.1 (FIND-CLASS 'HASH-TABLE) fails..
53. IN-PACKAGE should be a macro, not a function. (IN-PACKAGE-2)
53.1 The return value of (SETF (SUBSEQ ...) ...) is not right.
(SUBSEQ.ORDER.3,4)
54. fixed
55. STRUCT-TEST-07* tests fail because :CONC-NAME is not accepted
as an option to defstruct.
56. STRUCT-TEST-08* tests fail because (:CONC-NAME) is not accepted
as an option to defstruct.
57. Some structure tests are failing because 'non-symbol and
non-interned symbol slot name accessorsare not yet implemented'
(STRUCT-TEST-30*)
58. (FIND-CLASS '#:STRUCT-TEST-31) is failing for some reason.
(CMUCL had problems with these due to the uninterned symbol).
59. STRUCT-TEST-33,34,35 tests: the accessor function may be in the
wrong package.
60. Improper collision of slot names with special variables
(the constructor built by DEFSTRUCT should use different parameter
names to avoid collision with special variables)
(STRUCTURE-60-1)
60.1 If a structure has a name that is a keyword, (FIND-CLASS <name>)
fails.
60.2 Can't declare a structure type with a field whose name is
a keyword. (STRUCT-test-64*)
61. BOA constructors fail for some reason: SBT-08, SBT-09, SBT-13,
SBT-14, SBT-15
62. TYPES-3 is failing because of this oddness:
CL-TEST>(subtypep '(and standard-object t) 'standard-object)
Error in SUBTYPEP [or a callee]: (STANDARD-OBJECT) is not of type STRING.
63. TYPES-7B fails for a similar reason:
CL-TEST>(subtypep 'condition '(not cons))
Error in SUBTYPEP [or a callee]: (CONDITION) is not of type STRING.
64. TYPES-7C fails likewise:
CL-TEST>(subtypep 'generic-function '(not cons))
Error in SUBTYPEP [or a callee]: (GENERIC-FUNCTION) is not of type STRING.
(Other similar failures: USER-CLASS-DISJOINTNESS, USER-STRUCT-DISJOINTNESS,
TAC-3.16)
65. TYPES-9A fails because lambda closures aren't atoms.
66. Many standard classes are not subtypes of STANDARD-OBJECT
67. Two structure classes are not subtypes of STRUCTURE-OBJECT
68. The following external symbols of the COMMON-LISP package should
either not be external or should not name classes:
(STANDARD-SLOT-DEFINITION STACK-OVERFLOW SLOT-DEFINITION
SPECIALIZER STORAGE-EXHAUSTED
EFFECTIVE-SLOT-DEFINITION STANDARD-WRITER-METHOD
STANDARD-READER-METHOD EQL-SPECIALIZER
DIRECT-SLOT-DEFINITION FORWARD-REFERENCED-CLASS
STANDARD-EFFECTIVE-SLOT-DEFINITION
STANDARD-ACCESSOR-METHOD
STANDARD-DIRECT-SLOT-DEFINITION
FUNCALLABLE-STANDARD-CLASS)
69. There are five standard generic functions that are either
not generic functions or are ordinary non-generic functions.
70. TYPE-ERROR-DATUM should throw a program error on an incorrect
number of arguments
71. TYPEP should take an optional third argument (NIL or an environment)
72. SUBTYPEP does not recognize subclass relationships on user-defined
classes. (TAC-3.1,2,3,4,5,6,7,8,9,10,11,12,13,14,15)
73. Should be able to coerce '(1 0) to a vector (COERCE.11)
74. Coercing a symbol to type 'FUNCTION should give a function object,
not the symbol (CLTL1/ANSI incompatibility, COERCE.21)
75. Coercions that cannot occur should be TYPE-ERRORs, not STREAM-ERRORs
(COERCE.ERROR.4,9)
76. SUBTYPEP should take an optional third argument (NIL or environment)
(SUBTYPE.ENV.1,2)
77. SUBTYPEP on integer types has problems with some integer subranges
that have exclusive endpoints (SUBTYPE.BIGNUM.INTEGER,
SUBTYPEP.INTEGER.23, SUBTYPEP.INTEGER.24)
78. SUBTYPEP fails on some CONS type specifiers (SUBTYPEP.CONS.2)
78.1 SUBTYPEP fails on MEMBER types that have EQUAL but not EQL elements.
78.2 (subtypep '(member a b c d) '(or (member a b c) (eql d)))
produces:
Error in SUBTYPEP [or a callee]: SUBTYPEP [or a callee]
requires more than zero arguments.
(SUBTYPEP.MEMBER.24)
78.3 SUBTYPEP fails on EQL types that have EQUAL but not EQL elements
(SUBTYPE.EQL.1,2)
79. DIGIT-CHAR should signal a program-error on three arguments,
not check the third argument for its type. (DIGIT-CHAR.ERROR.2)
80. CODE-CHAR should throw a program-error on excessive arguments
(CODE-CHAR.ERROR.2)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] Revised failure list,
Paul F. Dietz <=