On 08.12.25 12:27, David Geier wrote:
On 08.12.2025 12:14, Peter Eisentraut wrote:
I was planning to proceed with Dagfinn's patch set. Here is what is
currently remaining of the patch series. I haven't fully processed
everyone's comments in this thread, so they might not be reflected in
these patches.
Dagfinn's patch set turns Pointer into void *. I thought we had agreed
to use something like GinExtraPointer in the GIN code (see my patch set).
Either way is fine by me. It just seemed like the majority of commenters
where in favor of keeping some type in the GIN code for readability.
After further consideration, I think it is best to leave this alone as
is. One particular problem is that Pointer is part of the documented
API of GIN, and if we either remove it or rename it, then this would
create a bunch of work for extensions to keep their code compiling
across major versions.
