On Fri, Apr 09, 2004 at 04:02:48PM -0400, Aldy Hernandez wrote: > Paolo, rth, can someone comment on the correct approach? Is the new > vector types approach supposed to return true for sign mismatches? No. I mentioned at the time that we should probably recurse on compatibility. r~