[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
All arrays can be adjustable?
Date: Wed, 20 May 87 22:45:04 PDT
From: firstname.lastname@example.org (Jon L White)
See CLtL page 34 where simple-array is defined as a subtype of array.
Note also that everywhere "subtype" is used, it means "proper subtype".
CLtL, page 33: "If x is a supertype of y, then any object of type y is also of type x,
and y is said to be a subtype of x." Doesn't sound like "proper subtype" to me.
Also, in both Symbolics and Lucid, (subtypep x x) => t for every type I tried.