From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: GNAT and user-defined aspects and pragmas?
Date: Tue, 10 Nov 2015 14:28:06 +0100
Date: 2015-11-10T14:28:06+01:00 [thread overview]
Message-ID: <87h9ku2dcp.fsf@adaheads.sparre-andersen.dk> (raw)
I wanted to experiment a bit with user-defined aspects to see how far
GNAT takes LRM 13.1.1(38/3).
GNAT GPL 2014 (20140331) accepts certain implementation-defined aspects
(such as "SPARK_Mode"), but it doesn't accept user-defined aspects.
Unlike this, pragmas don't have to be known by the compiler in advance
to be accepted by GNAT (but you do get a warning if the pragmas aren't
recognised).
+ Why this difference?
+ Is it different in GNAT GPL 2015? (I haven't gotten around to install
it yet.)
+ Will it be different in GNAT GPL 2016?
Greetings,
Jacob
--
"I Am The Leading Programmer" - J.-P. Rosen
is abstract tagged limited private
next reply other threads:[~2015-11-10 13:28 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-11-10 13:28 Jacob Sparre Andersen [this message]
2015-11-10 19:53 ` GNAT and user-defined aspects and pragmas? Dennis Lee Bieber
2015-11-11 9:29 ` Jacob Sparre Andersen
2015-11-12 19:24 ` Randy Brukardt
2015-11-12 20:37 ` Shark8
2015-11-12 21:42 ` Randy Brukardt
2015-11-13 10:03 ` J-P. Rosen
2015-11-11 11:14 ` Simon Wright
2015-11-12 19:27 ` Randy Brukardt
2015-11-13 8:51 ` J-P. Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox