Peter Eisentraut <peter_e@gmx.net> writes:
> Mark Butler writes:
>> Thanks. I didn't realize the need to move the DOUBLE token from the TokenId to
>> the ColId production. Will this patch be integrated into the head branch?
> Not sure. It's not a standard type, but at least two other RDBMS have it
> and the name does make sense. Any comments?
Seems like a reasonable change (for 7.2, not now).
regards, tom lane