From: ytomino <aghia05@gmail.com>
Cc: mailbox@dmitry-kazakov.de
Subject: Re: Class wide preconditions: error in GNAT implementation?
Date: Sat, 16 Feb 2013 12:34:20 -0800 (PST)
Date: 2013-02-16T12:34:20-08:00 [thread overview]
Message-ID: <e53f4ef2-e423-497f-b6bf-55ac0e903b8c@googlegroups.com> (raw)
In-Reply-To: <377a4b9b-eec8-4af9-af3f-fdeb008339e4@googlegroups.com>
Replace precondition of Bs.foo for a clarification.
> pragma Assert (Bs.foo'Pre'Class); -- unnecessary because weaker
> Bs.foo (B (Object));
pragma Assert (As.foo'Pre'Class or else Bs.foo'Pre'Class); -- unnecessary because weaker
Bs.foo (B (Object));
next prev parent reply other threads:[~2013-02-16 20:34 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-02-15 3:55 Class wide preconditions: error in GNAT implementation? ytomino
2013-02-15 10:15 ` Georg Bauhaus
2013-02-15 13:16 ` ytomino
2013-02-16 1:01 ` Randy Brukardt
2013-02-16 2:50 ` ytomino
2013-02-16 9:28 ` Dmitry A. Kazakov
2013-02-16 13:13 ` ytomino
2013-02-16 16:35 ` Dmitry A. Kazakov
2013-02-16 19:55 ` ytomino
2013-02-16 20:34 ` ytomino [this message]
2013-02-18 8:30 ` Dmitry A. Kazakov
2013-02-18 9:17 ` Simon Wright
2013-02-18 14:25 ` Dmitry A. Kazakov
2013-02-18 18:04 ` Simon Wright
2013-02-18 19:27 ` Dmitry A. Kazakov
2013-02-18 20:42 ` Simon Wright
2013-02-19 9:07 ` Dmitry A. Kazakov
2013-02-18 19:02 ` ytomino
2013-02-18 19:44 ` Dmitry A. Kazakov
2013-02-16 15:16 ` Georg Bauhaus
2013-02-16 20:23 ` Simon Wright
2013-02-17 15:12 ` ytomino
2013-02-18 17:49 ` Simon Wright
2013-02-18 18:45 ` ytomino
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox