[Ecls-list] INCOMPATIBLE CHANGES AHEAD!

Juan Jose Garcia-Ripoll worm at arrakis.es
Thu Jul 10 02:33:09 UTC 2003


Some more changes in CVS:

  - LOAD now accepts a fourth keyword argument, :SEARCH-LIST, which
    is a list of directories where LOAD should try to find the file.
    The value of SEARCH-LIST defaults to SI::*LOAD-SEARCH-LIST*. If
    the file is not found using SEARCH-LIST, then the current
    directory is tried.

  - All streams have from now on element type (UNSIGNED-BYTE 8).
    READ-CHAR and WRITE-CHAR work on any stream, though, as do
    READ-BYTE and WRITE-BYTE.

  - READ/WRITE-SEQUENCE implemented.

  - READ/WRITE-BYTES removed!!!

 - (UPGRADED-ARRAY-ELEMENT-TYPE NIL) => CHAR This solves the
   problem (SUBTYPEP '(ARRAY NIL (*)) 'STRING) => T. However it is
   against this piece of the Spec:

Type upgrading implies a movement upwards in the type hierarchy lattice. A 
type is always a subtype of its upgraded array element type. Also, if a type 
Tx is a subtype of another type Ty, then the upgraded array element type of 
Tx must be a subtype of the upgraded array element type of Ty. Two disjoint 
types can be upgraded to the same type. 

   That shouldn't be a problem, since we already violate that with the set
   of specialized arrays for integers.

Regards,

Juanjo




More information about the ecl-devel mailing list