+1 for this option here Martin
Sent from my iPhone 11 Pro Max > On 11 Jan 2020, at 13:30, Tucker Taft @ adacore <[email protected]> wrote: > > I will say that Christoph Grein's comment was the most interesting to me, > and made me feel that our original notion of "end record [id]" was the best, > so feel free to change my vote to that. From a readability point of view, it > seems superior to any of the other suggestions. > > Thanks! > -Tuck > >> On Jan 10, 2020, at 10:19 PM, Randy Brukardt <[email protected]> wrote: >> >> I wrote: >> >> ... >>> Anyway, let's hear where all of you stand on this, and which >>> of these proposals you find acceptable and why. This is one >>> of these simple questions that *everyone* probably has an >>> opinion on, so let's hear it! >> >> Thanks to everyone that responded so far. I made a simple spreadsheet to >> tally the opinions received. I gave 2 points to everyone's first choice, and >> 1 point to their second choice. Since I didn't make a formal straw poll, I >> had to interpret everyone's response, so some people might have preferred >> different weighting of their response -- so this best used as a general >> guide. Here's the result: >> >> 19 Respondents >> 33 pts, 66% -- Do nothing. ("end record") >> 9 pts, 18% -- AI12-0213-1 ("end record [id]") >> 8 pts, 16% -- AI12-0213-2 ("end id | end record") >> >> ... >> >> If you haven't responded yet, feel free to do so. If enough additional >> people respond, I'll update the spreadsheet before Wednesday's ARG meeting. >> >> Randy Brukardt, ARG Editor. >> >> >> <AI12-0213-Summary.ods> > > > > ________________________________________________________ > > You have received this message because you subscribed to the Ada-Comment > mailing list. To leave the Ada-Comment list, send an email with > 'leave Ada-Comment' in the body to [email protected]. For help > on the other commands available, send 'help Ada-Comment' to the same address. > Problems? Send mail to [email protected]. This list is operated by the > Ada Resource Association, Inc., PO Box 8685, New York NY 10116-8685. > > > > b��j�yǢ��m�+&z����q��{*.���r��y�h��u���g��f��)�+-N�^j�� h*&���+-���jw�j)p��ey��ւ�i��ا���ܭ�X��ǫ��Zj�a����^��'����r��jwlj��zǧv��Z ��z{m��^���i�kz����zkzwfj)m�� �֝i�����N��+-��)z��y���u�^���q�,��"jب���<�h�μ�װb��5�t�^��
