From: Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP>
Subject: Re: Comments requested for a couple of Ada-Comments submissions
Date: Fri, 11 Jul 2014 07:05:36 +0000 (UTC)
Date: 2014-07-11T07:05:36+00:00 [thread overview]
Message-ID: <lpo2bv$4rl$2@dont-email.me> (raw)
In-Reply-To: lpnp0v$i4k$1@loke.gir.dk
On 2014-07-11, Randy Brukardt <randy@rrsoftware.com> wrote:
>
> I think you ought to add something on this line to your submission; the
> critical point (the problem, as always) is buried that the very end of your
> question. Here, the problem is that accessing a device register piecemeal
> does not work, and there should be a way in Ada to prevent such accesses. If
> the existing rules don't have that effect, then we need some mechanism to
> ensure proper access.
>
> So, I'd suggest putting the problem first (as in an AI), the question about
> the existing rules second, and then (optionally) a possible solution if the
> existing behavior is confirmed.
>
Thanks Randy.
I'll revise it this weekend and post an updated version for comments
before submission.
Simon.
--
Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP
Microsoft: Bringing you 1980s technology to a 21st century world
next prev parent reply other threads:[~2014-07-11 7:05 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-07-11 0:02 Comments requested for a couple of Ada-Comments submissions Simon Clubley
2014-07-11 0:30 ` Jeffrey Carter
2014-07-11 4:16 ` Randy Brukardt
2014-07-11 16:04 ` Niklas Holsti
2014-07-11 16:24 ` Dan'l Miller
2014-07-11 20:02 ` Simon Clubley
2014-07-12 5:52 ` Niklas Holsti
2014-07-11 4:26 ` Randy Brukardt
2014-07-11 7:05 ` Simon Clubley [this message]
2014-07-11 4:56 ` Shark8
2014-07-11 15:35 ` Adam Beneschan
2014-07-11 17:26 ` Niklas Holsti
2014-07-11 17:55 ` Adam Beneschan
2014-07-11 18:00 ` Simon Wright
2014-07-11 19:07 ` Georg Bauhaus
2014-07-11 19:10 ` Dmitry A. Kazakov
2014-07-11 19:16 ` Niklas Holsti
2014-07-11 19:35 ` Dmitry A. Kazakov
2014-07-11 21:24 ` Randy Brukardt
2014-07-11 21:46 ` Shark8
2014-07-11 19:30 ` Simon Clubley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox