Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version

Поиск
Список
Период
Сортировка
От Pedro Gimeno
Тема Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version
Дата
Msg-id 5512F2C0.9080007@personal.formauri.es
обсуждение исходный текст
Ответ на Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version  (Pedro Gimeno <pgsql-004@personal.formauri.es>)
Список pgsql-bugs
Дерево обсуждения 
Pedro Gimeno wrote, On 2015-03-25 17:22:
> Sorry about that. I hope the attached helps.

The previous version left out a corner case. Attached is a function and
test suite to deal with it.
Вложения

В списке pgsql-bugs по дате отправления: