comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: SPARK question
Date: Mon, 27 Aug 2018 15:10:12 +0100
Date: 2018-08-27T15:10:12+01:00	[thread overview]
Message-ID: <lyo9dnlx2z.fsf@pushface.org> (raw)

With SPARK CE 2018, I'm seeing

   commander.ads:103:08: high: "memory accessed through objects of
   access type" must be a global Output of "Commander_Watchdog"

Google tells me nothing, any clues here? (and, obvs, where _should_ I be
asking?)

             reply	other threads:[~2018-08-27 14:10 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-08-27 14:10 Simon Wright [this message]
2018-08-27 16:39 ` SPARK question Shark8
2018-08-27 20:19   ` Simon Wright
2018-08-27 21:36     ` Randy Brukardt
2018-08-28 19:05       ` Simon Wright
  -- strict thread matches above, loose matches on Subject: below --
2013-05-01  8:35 SPARK Question M. Enzmann
2013-05-01 13:35 ` Phil Thornley
2013-05-07  6:59   ` Yannick Duchêne (Hibou57)
2013-05-07  7:54     ` Georg Bauhaus
2013-05-07 20:44       ` Jacob Sparre Andersen news
2013-05-19 18:54         ` phil.clayton
2013-05-20 23:40           ` Randy Brukardt
2013-05-02  5:48 ` M. Enzmann
replies disabled

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