comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Unreferenced parameters
Date: Thu, 04 Feb 2021 10:27:11 +0000	[thread overview]
Message-ID: <lyczxggmbk.fsf@pushface.org> (raw)
In-Reply-To: rvfomg$svi$1@franka.jacob-sparre.dk

"Randy Brukardt" <randy@rrsoftware.com> writes:

> We (the ARG) recently added an allowance for aspect specifications on 
> parameters and a few other constructs. The reason in part was because we 
> didn't want to restrict where implementation-defined aspects can be placed, 
> and the motivating case was aspect Unreferenced.
>
> So I'd guess that you can put the aspect directly on the parameters in the 
> usual way (but that may require a compiler not available yet; the change was 
> approved in Sept [AI12-0395-1] and Oct [AI12-0398-1]). So, I'd expect the 
> following to work (eventually):
>
>  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!

  reply	other threads:[~2021-02-04 10:27 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 [this message]
2021-02-09 11:16     ` Egil H H
2021-02-09 18:54       ` Stephen Leake
2021-02-09 21:20         ` Simon Wright
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