Adam Brightwell <adam(dot)brightwell(at)crunchydata(dot)com> writes:
>>> Need to bump this #define? If you didn't get the error that this is
>>> supposed to throw, perhaps there's a bug somewhere worth investigating.
> Whoops! It must be getting late... updated patch attached.
I'm with Alvaro: the most interesting question here is why that mistake
did not blow up on you immediately. I thought we had enough safeguards
in place to catch this type of error.
regards, tom lane