comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Unreferenced parameters
Date: Tue, 09 Feb 2021 21:20:18 +0000	[thread overview]
Message-ID: <lya6sdrl9p.fsf@pushface.org> (raw)
In-Reply-To: 86blct1393.fsf@stephe-leake.org

Stephen Leake <stephen_leake@stephe-leake.org> writes:

> Egil H H <ehh.public@gmail.com> writes:
>
>> On Thursday, February 4, 2021 at 11:27:14 AM UTC+1, Simon Wright wrote:
>>> > overriding function Expand_Tabs 
>>> > (This : Dummy_Editor_Buffer with Unreferenced; 
>>> > Line : Editable_Line_Type with Unreferenced; 
>>> > Column : Character_Offset_Type with Unreferenced) return 
>>> > Visible_Column_Type is (0);
>>> As you say, not yet. But .. looking good!
>>
>> It's included in the New Features list of GNAT Pro 21.1
>
> Sigh. Now I have to add that to ada-mode, in the grammar and in
> ada-format-parameter-list.
>
> How do we want this indented when 'with ...' is on a new line:
>
> overriding function Expand_Tabs 
>   (This   : Some.Very_Long.Subtype_Name
>             with Unreferenced; 
>    Line   : Editable_Line_Type with Unreferenced; 
>    Column : Character_Offset_Type with Unreferenced)
> return Visible_Column_Type
> is (0);

Of course we can't yet know what the compiler will be happy with! (with
-gnaty, I mean)

  reply	other threads:[~2021-02-09 21:20 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-02-03 18:20 Unreferenced parameters Simon Wright
2021-02-03 18:50 ` Egil H H
2021-02-03 18:53   ` Egil H H
2021-02-03 19:29     ` Dmitry A. Kazakov
2021-02-04 10:48       ` Simon Wright
2021-02-03 19:32     ` Simon Wright
2021-02-03 22:27       ` Shark8
2021-02-04  3:12 ` Randy Brukardt
2021-02-04 10:27   ` Simon Wright
2021-02-09 11:16     ` Egil H H
2021-02-09 18:54       ` Stephen Leake
2021-02-09 21:20         ` Simon Wright [this message]
2021-02-11  3:20         ` Randy Brukardt
2021-02-11 20:18           ` Stephen Leake
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox