I wrote:
> Kris Jurka <books(at)ejurka(dot)com> writes:
>> Creating a domain on bit(N) doesn't seem to work as expected when casting
>> to the domain type.
> What's going on here is that "7::bit4" is implemented as
> "7::bit::bit(4)", and since 7::bit is taken to mean 7::bit(1),
> the result follows.
I've fixed it to collapse this into a direct "7::bit(4)" coercion.
Thanks for the test case.
regards, tom lane