From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: GNAT and “pragma Restrictions (No_Implementation_Pragmas);”
Date: Sun, 27 Nov 2011 23:00:55 +0100
Date: 2011-11-27T23:00:55+01:00 [thread overview]
Message-ID: <op.v5mkrtj4ule2fv@douda-yannick> (raw)
Hi all,
Is this normal behavior or not ? If a gnat.adc file contains
pragma Restrictions (No_Implementation_Pragmas);
Then at compile time, I get restrictions violation error for each type and
subprogram predicate. Cannot use any “with Pre => …” and others. Or may be
I did not understood the meaning of this pragma ?
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: [Epigrams on Programming — Alan J. — P. Yale University]
next reply other threads:[~2011-11-27 22:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-11-27 22:00 Yannick Duchêne (Hibou57) [this message]
2011-11-27 23:01 ` GNAT and “pragma Restrictions (No_Implementation_Pragmas);” J-P. Rosen
2011-11-28 13:21 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox