[Freeciv-Dev] Re: (PR#3437) rename of map_inx

["Reinier Post" <rp@xxxxxxxxxx>]

On Sat, Feb 15, 2003 at 09:36:49AM -0800, Jason Short wrote:
> 
> We need to rename map_inx.
> 
> Two names have been proposed: map_to_index_pos and map_to_index.  Ross 
> and I can't agree on which to use.
> 
> Raimar points out that the 'pos' here is redundant since it is already 
> implied by the 'index'.  OTOH I often use the term 'index position', not 
> just 'index'.
> 
> Does anyone else have a preference?  Once this is decided, I'll make a 
> patch.
> 
> jason

As far as I have seen a position in an array is always an 'index',
never an 'index position'.  So I'd drop the '_pos'.

-- 
Reinier