Fix the handling of mixed inclusive and exclusive bounds for number
type union and intersection which were all doing the opposition of what they should have. E.g. The intersection of (double-float 0d0) and (double-float (0d0)) was returning a bound of 0d0 whereas (0d0) is more restrictive.
Loading
Please register or sign in to comment