From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: GNAT CE 2019 bug: Predicate check not performed
Date: Mon, 20 Apr 2020 03:04:45 -0700 (PDT)
Date: 2020-04-20T03:04:45-07:00 [thread overview]
Message-ID: <548bf0f1-2e25-4110-acf9-3aa5940df7da@googlegroups.com> (raw)
In-Reply-To: <0a4df528-a44c-433d-9ac6-47e6fe68862b@googlegroups.com>
Am Montag, 20. April 2020 00:32:37 UTC+2 schrieb Anh Vo:
> It takes time to look thru the LRM to see if...
RM 11.4.2(10.2/3) ... A pragma Assertion_Policy given in a declarative_part or ... applies from the place of the pragma to the end of the innermost enclosing declarative region. ...
next prev parent reply other threads:[~2020-04-20 10:04 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-04-19 9:28 GNAT CE 2019 bug: Predicate check not performed AdaMagica
2020-04-19 22:31 ` Anh Vo
2020-04-19 22:32 ` Anh Vo
2020-04-20 10:04 ` AdaMagica [this message]
2020-04-20 20:25 ` Anh Vo
2020-04-21 0:53 ` AdaMagica
2020-04-21 2:59 ` Anh Vo
2020-04-21 7:45 ` Simon Wright
2020-04-27 6:29 ` William J. Franck
2020-04-21 5:14 ` Per Sandberg
2020-04-21 7:34 ` AdaMagica
2020-04-21 16:04 ` Per Sandberg
2020-04-21 7:40 ` Simon Wright
2020-04-21 16:59 ` Optikos
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox