comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Q: setting an address with pure?
Date: Mon, 13 Jul 2015 13:53:26 -0500
Date: 2015-07-13T13:53:26-05:00	[thread overview]
Message-ID: <mo11f8$a5t$1@loke.gir.dk> (raw)
In-Reply-To: lyd1zylqfo.fsf@pushface.org


"Simon Wright" <simon@pushface.org> wrote in message 
news:lyd1zylqfo.fsf@pushface.org...
>
>>>    128.    PIOG : PIO with Volatile, Convention => Ada;
>>>    129.    for PIOG'Address use 16#400E1C00#;
>>>                                 |
>>>         >>> expected private type "System.Address"
>>>         >>> found type universal integer

Of course. It should be:

for PIOG'Address use System.Storage_Elements.To_Address(16#400E1C00#);

Since System.Storage_Elements is Pure, that should work fine here. You 
seemed to indicate that it did not. What's the error message for that?

                             Randy.


  reply	other threads:[~2015-07-13 18:53 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-07-10 11:48 Q: setting an address with pure? Simon Wright
2015-07-10 12:03 ` G.B.
2015-07-10 14:38   ` Simon Wright
2015-07-10 22:37 ` Randy Brukardt
2015-07-11  7:47   ` Simon Wright
2015-07-13 19:10     ` Randy Brukardt
2015-07-14  9:36       ` Mark Lorenzen
2015-07-13 23:41   ` RasikaSrinivasan
2015-07-14  7:38     ` Simon Wright
2015-07-14  7:42       ` Simon Wright
2015-07-11 10:35 ` Q: " Brian Drummond
2015-07-11 13:30   ` Simon Wright
2015-07-11 14:03     ` AdaMagica
2015-07-11 14:27       ` Simon Wright
2015-07-13 18:53         ` Randy Brukardt [this message]
2015-07-13 19:50           ` Simon Wright
2015-07-14 12:24     ` Brian Drummond
2015-07-15 15:50       ` rrr.eee.27
2015-07-15 18:45         ` Simon Wright
2015-07-16  9:21         ` Brian Drummond
2015-07-16 18:54           ` Simon Wright
2015-07-16 19:14           ` 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