From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Why are Ada compilers difficult to write ?
Date: Fri, 29 Jun 2018 16:35:21 -0500
Date: 2018-06-29T16:35:21-05:00 [thread overview]
Message-ID: <ph68mp$3cq$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 874lhsnvye.fsf@adaheads.home
"Jacob Sparre Andersen" <jacob@jacob-sparre.dk> wrote in message
news:874lhsnvye.fsf@adaheads.home...
...
> And this
> still doesn't solve all the problems related to anonymous access types
> (i.e. "the heart of darkness").
pragma Restrictions (No_Anonymous_Access);
would seem to do the trick. (Sadly, it's missing from Annex H.)
pragma Restrictions (No_Anonymous_Allocators);
does eliminate most of the oddities, but you still get dynamic accessibility
checks (and see my previous message about that).
Randy.
next prev parent reply other threads:[~2018-06-29 21:35 UTC|newest]
Thread overview: 96+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-19 21:33 Why are Ada compilers difficult to write ? Vincent
2018-06-19 21:43 ` Paul Rubin
2018-06-19 22:11 ` Lucretia
2018-06-24 17:33 ` Paul Rubin
2018-06-24 17:39 ` Lucretia
2018-06-19 22:01 ` Jacob Sparre Andersen
2018-06-19 22:18 ` Lucretia
2018-06-21 14:02 ` Jacob Sparre Andersen
2018-06-21 17:20 ` Lucretia
2018-06-19 22:17 ` Lucretia
2018-06-19 22:34 ` Dan'l Miller
2018-06-22 13:01 ` Alejandro R. Mosteo
2018-06-20 8:33 ` gautier_niouzes
2018-06-20 15:54 ` Jeffrey R. Carter
2018-06-20 17:54 ` Dan'l Miller
2018-06-20 18:18 ` Dan'l Miller
2018-06-20 18:58 ` Luke A. Guest
2018-06-20 19:37 ` Dan'l Miller
2018-06-20 19:39 ` Dan'l Miller
2018-06-20 19:50 ` Dan'l Miller
2018-06-20 21:26 ` Luke A. Guest
2018-06-27 14:19 ` Olivier Henley
2018-06-27 15:34 ` Dan'l Miller
2018-06-27 16:26 ` Olivier Henley
2018-06-27 16:50 ` Dan'l Miller
2018-06-27 17:53 ` Olivier Henley
2018-06-27 18:49 ` Dan'l Miller
2018-06-28 11:54 ` Mehdi Saada
2018-06-29 3:34 ` Paul Rubin
2018-06-29 16:36 ` G. B.
2018-06-29 17:02 ` Dan'l Miller
2018-06-21 10:44 ` Marius Amado-Alves
2018-06-21 12:45 ` Dan'l Miller
2018-06-21 21:08 ` Paul Rubin
2018-06-21 21:42 ` Dan'l Miller
2018-06-21 22:01 ` Simon Wright
2018-06-21 23:04 ` Dan'l Miller
2018-06-22 0:20 ` Dan'l Miller
2018-06-22 3:41 ` Paul Rubin
2018-06-29 21:19 ` Randy Brukardt
2018-06-22 3:44 ` Paul Rubin
2018-06-22 21:57 ` Dan'l Miller
2018-06-22 23:15 ` Luke A. Guest
2018-06-23 1:03 ` Dan'l Miller
2018-06-23 1:49 ` Luke A. Guest
2018-06-23 2:54 ` Dan'l Miller
2018-06-23 14:48 ` Dennis Lee Bieber
2018-06-23 14:41 ` Dennis Lee Bieber
2018-06-25 5:55 ` Simon Clubley
2018-06-29 21:22 ` Randy Brukardt
2018-06-22 3:31 ` Paul Rubin
2018-06-22 16:44 ` antispam
2018-06-22 13:11 ` Lucretia
2018-06-22 17:10 ` Simon Clubley
2018-06-22 18:00 ` Lucretia
2018-06-25 5:48 ` Simon Clubley
2018-06-25 8:46 ` Alejandro R. Mosteo
2018-06-25 13:23 ` Lucretia
2018-06-25 17:24 ` Simon Clubley
2018-06-25 14:59 ` Dan'l Miller
2018-06-25 17:32 ` Simon Clubley
2018-06-29 21:26 ` Randy Brukardt
2018-06-23 5:56 ` J-P. Rosen
2018-06-23 12:44 ` Dan'l Miller
2018-06-23 16:14 ` Shark8
2018-06-23 18:12 ` Dan'l Miller
2018-06-23 18:47 ` Shark8
2018-06-23 19:35 ` Simon Wright
2018-06-25 8:51 ` Alejandro R. Mosteo
2018-06-24 13:41 ` Jacob Sparre Andersen
2018-06-25 6:04 ` Simon Clubley
2018-06-25 6:31 ` Jacob Sparre Andersen
2018-06-25 13:27 ` Lucretia
2018-06-25 20:07 ` Dirk Craeynest
2018-06-28 12:08 ` Vincent
2018-06-28 12:21 ` Simon Wright
2018-06-28 12:24 ` Luke A. Guest
2018-06-28 12:41 ` Dan'l Miller
2018-06-28 14:43 ` J-P. Rosen
2018-06-28 18:26 ` Dmitry A. Kazakov
2018-06-29 21:35 ` Randy Brukardt [this message]
2018-06-29 21:29 ` Randy Brukardt
2018-06-21 17:42 ` Pascal Obry
2018-06-21 20:18 ` Dan'l Miller
2018-06-22 5:01 ` J-P. Rosen
2018-06-22 7:16 ` Dmitry A. Kazakov
2018-06-22 11:46 ` Dan'l Miller
2018-06-22 12:11 ` Dmitry A. Kazakov
2018-06-22 12:35 ` Dan'l Miller
2018-06-22 15:55 ` Dmitry A. Kazakov
2018-06-29 21:43 ` Randy Brukardt
2018-06-25 15:33 ` Dan'l Miller
2018-10-01 18:09 ` Tucker Taft
2018-10-01 18:51 ` Lucretia
2018-10-02 12:58 ` Alejandro R. Mosteo
2018-10-02 14:23 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox