Re: SPARK question

[Shark8 <onewingedshark@gmail.com>]

On Monday, August 27, 2018 at 8:10:13 AM UTC-6, Simon Wright wrote:
> 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?)

I think it's saying that you need a "Global" aspect on "Commander_Watchdog", see https://blog.adacore.com/spark-2014-rationale-data-dependencies -- in particular:

   procedure Add (X, Y : in Integer) with
     Global => (Output => Global_Variable);