commit 88429dc37df8b99a26eee4805e64a9ae1aa379b2 Author: Paul Khuong <email address hidden> Date: Mon Jun 9 00:44:26 2014 -0400
More aggressive ARRAY-RANK type derivation
* Use list-abstract-type-function to derive possible values for ARRAY-RANK even in the face of union/intersection/negation types.
* Fixes lp#1310574 (triggered by a prior fix to array type union).
* Plus tests derived from opticl.
commit 88429dc37df8b99 a26eee4805e64a9 ae1aa379b2
Author: Paul Khuong <email address hidden>
Date: Mon Jun 9 00:44:26 2014 -0400
More aggressive ARRAY-RANK type derivation
* Use list-abstract- type-function to derive possible values for ion/negation types.
ARRAY-RANK even in the face of union/intersect
* Fixes lp#1310574 (triggered by a prior fix to array type union).
* Plus tests derived from opticl.