search

AdaCore / ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages
63 stars 28 forks source link

[RFC] Change Ada.Containers.Count_Type to a subtype of Natural #28

Open setton opened 5 years ago

setton commented 5 years ago

Link to text: https://github.com/setton/ada-spark-rfcs/blob/master/considered/rfc-change-count-type-to-natural.rst

raph-amiard commented 4 years ago

Hi Nico!

I think your RFC proposes a practical fix to the occurrence of a general issue we have in Ada wrt. operator visibility.

I however wonder if we shouldn't try and address the forest behind the tree here.

Stil in favor of this anyhow. Will put that up for discussion!

raph-amiard commented 1 year ago

A problem that I see today with that change, is that it will be very hard to make it affect only one version of Ada, since we can't say:

% if Ada_Version = 202X then
   type Count_Type is ...
% else
   type Count_Type is ...
% endif;

So while I like that proposal, I think it's unimplementable right now. Curious to know what other people think.