commit f5907ea4f056a287022e4bce93c9b711b4133e5e Author: Nikodemus Siivola <email address hidden> Date: Tue Aug 16 00:21:54 2011 +0300
use WEAKEN-INTEGER-TYPE in ARRAY-IN-BOUNDS-P
The type of the bound might be a union-type. WEAKEN-INTEGER-TYPE gives us the ends of a range.
lp#826970
commit f5907ea4f056a28 7022e4bce93c9b7 11b4133e5e
Author: Nikodemus Siivola <email address hidden>
Date: Tue Aug 16 00:21:54 2011 +0300
use WEAKEN-INTEGER-TYPE in ARRAY-IN-BOUNDS-P
The type of the bound might be a union-type. WEAKEN-INTEGER-TYPE
gives us the ends of a range.
lp#826970