* -gnat83 Enforce Ada 83 restrictions
@ 2016-01-25 0:13 patrick
2016-01-25 2:16 ` Jeffrey R. Carter
0 siblings, 1 reply; 3+ messages in thread
From: patrick @ 2016-01-25 0:13 UTC (permalink / raw)
Hi Everyone
Quick question, does using:
-gnat83
Enforce Ada 83 restrictions and remove non-Ada83 code from the runtime?
using :
pragma Profile (Ravenscar) ;
will cut out parts from the runtime, does it work in a similar way?
Thanks-Patrick
^ permalink raw reply [flat|nested] 3+ messages in thread
* -gnat83 Enforce Ada 83 restrictions
@ 2016-01-25 0:14 patrick
0 siblings, 0 replies; 3+ messages in thread
From: patrick @ 2016-01-25 0:14 UTC (permalink / raw)
Hi Everyone
Quick question, does using:
-gnat83
Enforce Ada 83 restrictions and remove non-Ada83 code from the runtime?
using :
pragma Profile (Ravenscar) ;
will cut out parts from the runtime, does it work in a similar way?
Thanks-Patrick
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: -gnat83 Enforce Ada 83 restrictions
2016-01-25 0:13 patrick
@ 2016-01-25 2:16 ` Jeffrey R. Carter
0 siblings, 0 replies; 3+ messages in thread
From: Jeffrey R. Carter @ 2016-01-25 2:16 UTC (permalink / raw)
On 01/24/2016 05:13 PM, patrick@spellingbeewinnars.org wrote:
>
> Quick question, does using:
> -gnat83
>
> Enforce Ada 83 restrictions and remove non-Ada83 code from the runtime?
It will attempt to reject code that is not valid Ada 83. I haven't used it for a
couple of decades, but at that time it wasn't perfect. I doubt if it has any
effect on the runtime.
--
Jeff Carter
"This school was here before you came,
and it'll be here before you go."
Horse Feathers
48
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2016-01-25 2:16 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-01-25 0:14 -gnat83 Enforce Ada 83 restrictions patrick
-- strict thread matches above, loose matches on Subject: below --
2016-01-25 0:13 patrick
2016-01-25 2:16 ` Jeffrey R. Carter
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox