From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Generic access type convention and aliasing
Date: Mon, 06 May 2013 07:55:45 +0200
Date: 2013-05-06T07:55:45+02:00 [thread overview]
Message-ID: <op.wwneq7xtule2fv@cardamome> (raw)
In-Reply-To: op.wwmy7p00ule2fv@cardamome
Le Mon, 06 May 2013 02:20:03 +0200, Yannick Duchêne (Hibou57)
<yannick_duchene@yahoo.fr> a écrit:
>
> (*) A variable which I would enjoy to force to be a constant after
> record initialization, but I can't; another story.
I also wished I could specify it must be a limited access type. Out of
curiosity, I searched the web on this topic, and found this was already
proposed. See this AI:
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0142-2.txt?rev=1.3
The status is “Work item”.
Although just a proposal, I wanted to try (even before I've seen this AI)
in case GNAT may implement this proposal, but it seems to not (it just
complains “subtype indication expected” when it sees “limited”).
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University
next prev parent reply other threads:[~2013-05-06 5:55 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-05-06 0:20 Generic access type convention and aliasing Yannick Duchêne (Hibou57)
2013-05-06 5:55 ` Yannick Duchêne (Hibou57) [this message]
2013-05-07 0:56 ` Randy Brukardt
2013-05-07 6:02 ` Yannick Duchêne (Hibou57)
2013-05-07 6:42 ` Yannick Duchêne (Hibou57)
2013-05-07 17:34 ` AdaMagica
2013-05-07 19:08 ` Yannick Duchêne (Hibou57)
2013-05-07 21:03 ` Jacob Sparre Andersen news
2013-05-07 22:13 ` Yannick Duchêne (Hibou57)
2013-05-08 11:28 ` Yannick Duchêne (Hibou57)
2013-05-08 20:44 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox