Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
This file contains notes on problems in the ANSI CL spec found
during the construction of the tests.

1. When building a composite stream, what happens when the component
  streams have different element types?

2. Should there be an UPGRADED-STREAM-ELEMENT-TYPE function.

3. The spec requires that arrays specialized to type NIL exist.
  Was this intended?

4. If NIL specialized arrays exist, then NIL vectors are also strings.
  Was this intended?

5. The spec requires that (UPGRADED-COMPLEX-PART-TYPE NIL) be (type
  equivalent to) NIL.

6. The definition of UPGRADED-COMPLEX-PART-TYPE appears to require that
  it work on arbitrary typespecs, including SATISFIES, which is not

22 23 24 25 26 27 28 29
7. Was it intended that values of 'smaller' float types be coercible
  to values of larger float types?  In CLISP, short-float has a larger
  range of exponents than single-float, so some shorts cannot be coerced
  to singles without over/underflow.

8. IMAGPART is defined as returning (* 0 number) on reals.  If the
  implementation supports negative zero and number is a negative float, this
  will be -0.0 (of the appropriate type).  Was this intended?