From: adambeneschan@gmail.com
Subject: Re: Class Wide Type Invariants - My bug or compiler bug
Date: Wed, 26 Feb 2014 14:35:52 -0800 (PST)
Date: 2014-02-26T14:35:52-08:00 [thread overview]
Message-ID: <3cf20663-960d-4ab1-9210-08042ca6af43@googlegroups.com> (raw)
In-Reply-To: <3b16296c-3a9b-478e-a113-44415f665121@googlegroups.com>
On Tuesday, February 25, 2014 7:29:45 PM UTC-8, Anh Vo wrote:
> GNAT did not raise Assertion_Error where I thought it should for the following codes. Either I misunderstood the LRM or it is a compiler bug.
It looks to me like this should work, according to 7.3.2(19). I don't know what GNAT's default Assertion_Policy for Type_Invariant'Class is, however.
-- Adam
next prev parent reply other threads:[~2014-02-26 22:35 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-02-26 3:29 Class Wide Type Invariants - My bug or compiler bug Anh Vo
2014-02-26 22:35 ` adambeneschan [this message]
2014-02-26 23:59 ` Anh Vo
2014-02-27 1:01 ` Randy Brukardt
2014-02-27 1:16 ` adambeneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox