Re: Duplicates being removed from intarray on subtraction of another intarray

2024-03-18 Thread Erik Wienhold
On 2024-03-18 09:21 +0100, PG Doc comments form wrote: > The following documentation comment has been logged on the website: > > Page: https://www.postgresql.org/docs/16/intarray.html > Description: > > Hi, > I recently ran into an unusual issue with the intarray extension where if > you subtract

Re: Duplicates being removed from intarray on subtraction of another intarray

2024-03-18 Thread Laurenz Albe
On Mon, 2024-03-18 at 08:21 +, PG Doc comments form wrote: > Page: https://www.postgresql.org/docs/16/intarray.html > > Hi, > I recently ran into an unusual issue with the intarray extension where if > you subtract one array from another the result is *also* sorted and > de-duplicated. The doc

Duplicates being removed from intarray on subtraction of another intarray

2024-03-18 Thread PG Doc comments form
The following documentation comment has been logged on the website: Page: https://www.postgresql.org/docs/16/intarray.html Description: Hi, I recently ran into an unusual issue with the intarray extension where if you subtract one array from another the result is *also* sorted and de-duplicated.