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.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.