gcl-devel
[Top][All Lists]
Advanced

[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)





reply via email to

[Prev in Thread] Current Thread [Next in Thread]