:type-added-1,2 tests

From a (very brief) discussion on comp.lang.lisp, the results for
:type-added-1 and :type-added-2 tests in type.lisp are questionable:


(check-for-bug :type-added-1
  (type-of (coerce (list 1 2 3 4) '(simple-array (unsigned-byte 8))))
  (simple-array (unsigned-byte 8) (4)))

(check-for-bug :type-added-2
  (type-of (coerce (list 1 2 3 4) '(simple-array *)))
  (simple-vector 4))

Since the desired type is not a subtype of sequence, it is acceptable
for CMUCL to produce an error here.  (Actually, the discussion says it
should be mandatory because the type is not a sequence.)

Perhaps the results should be conditionalized?

Ray


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf