Re: get rid of Pointer type, mostly

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.