Philip Warner <pjw(at)rhyme(dot)com(dot)au> writes:
> At 10:36 AM 23/04/2003 -0400, Tom Lane wrote:
>> assumption that the result of casting int to bit(n) and then to bit(m)
>> should agree with the result of casting int directly to bit(m).
> I'm not sure I follow the implication; in fact I would hope that:
> Cast(B'0001' as bit(10))
> would yield '0001000000'.
Yes, and what will
Cast( Cast(42 as bit(32)) as bit(10))
yield? Unless you make the second cast truncate at the left, you'll get
ten zero bits out of this.
regards, tom lane