gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Test failure summary


From: Paul F. Dietz
Subject: [Gcl-devel] Test failure summary
Date: Mon, 10 Feb 2003 08:22:45 -0600
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2) Gecko/20021126

I went through some of the test report last night, to summarize
what was failing.  I didn't get through all of it.  Here's what
I have so far.  I'll post the rest this evening.

------------

Bugs causing test failures in gcl (2/9/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.

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.8)

12. THROW to a nonexistant catch tag should cause a CONTROL-ERROR,
  not a STREAM-ERROR (test THROW-ERROR).

13. FBOUDNP isn't working on names of the form (SETF ...).  (FBOUNDP.6,7,
   FMAKUNBOUND.4)  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 is 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. LOOP ACROSS on displaced bit vectors is ignoring the displacement
   (LOOP.5.38)

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.

32. SIMPLE-CONDITION-FORMAT-CONTROL is undefined.

33. Multiple :ALLOW-OTHER-KEYS arguments broken in MAKE-LIST, ADJOIN, MEMBER,


34. FIRST should throw a program error at a safe call with no args,
   or with too many args.

35. LAST should throw a program error at a safe call with no args,
   or with too many args.

36. (SETF (GETF ...) ...) is evaluating arguments in the wrong order
   when the ignored third argument to GETF is present. (SETF-GETF.7)

37. (ARRAY * 1) is not being treated by TYPEP as a valid type specifier
   (ARRAY.4.1,3,4,5,6)  Similar problems in ARRAY.5.1,2,3,4,5,6, and
   ARRAY.7.1-6 and ARRAY-T.[456].*

38. Vectors not being considered elements of class ARRAY.
   (ARRAY-AS-CLASS.1,2,5,6)

39. 'ARRAY should be equivalent to the class ARRAY. (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.

43. ARRAY-DISPLACEMENT is not working on displaced strings or bit strings.

44. ARRAY-DISPLACEMENT should throw a program error in safe calls
   on incorrect numbers of arguments. and a type error when the argument
   is not an array.

45. ARRAY-RANK should throw a type error when the argument is not an
   array.

46. ARRAY-TOTAL-SIZE should throw a type error when the argument is not
   an array.

47. FILL-POINTER should throw a type error when the argument is not
   a vector with a fill pointer.

48. UPGRADED-ARRAY-ELEMENT-TYPE isn't defined.

49. TYPEP is messing up on a number of different vector types:
  -- Strings aren't of type (VECTOR T) (neither are bit strings).
  -- The length in vector type specifiers is being ignored.
  -- It isn't handling the class VECTOR properly.

50. VECTOR-POP should signal a type error on vectors without fill
  pointers.

51. Bit logical operations are not working on bit arrays of dimension 2.

52. IN-PACKAGE should be a macro, not a function.

(more to come)

        Paul





reply via email to

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