From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Dynamically tagged expression not allowed. Why?
Date: Thu, 03 Jun 2010 04:37:42 +0200
Date: 2010-06-03T04:37:42+02:00 [thread overview]
Message-ID: <op.vdpdk4zoxmjfy8@garhos> (raw)
In-Reply-To: fn0j6rxg2zwt.1bjdpr0fjjq29.dlg@40tude.net
Le Sat, 29 May 2010 20:23:36 +0200, Dmitry A. Kazakov
<mailbox@dmitry-kazakov.de> a écrit:
>> Conn : Class_Type := New_Class_Instance;
>
> Should Conn be mutable? Otherwise you could use a function instead.
>
Good note (formally talking).
May be the reason was a matter of efficiency ?
--
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
-- i.e. forget about previous premises which leads to conclusion
-- and start with new conclusion as premise.
next prev parent reply other threads:[~2010-06-03 2:37 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-29 17:36 Dynamically tagged expression not allowed. Why? Marc A. Criley
2010-05-29 18:23 ` Dmitry A. Kazakov
2010-06-03 2:37 ` Yannick Duchêne (Hibou57) [this message]
2010-06-03 7:48 ` Dmitry A. Kazakov
2010-06-01 23:36 ` Randy Brukardt
2010-06-03 2:36 ` Yannick Duchêne (Hibou57)
2010-06-03 7:57 ` Dmitry A. Kazakov
2010-06-03 8:21 ` Yannick Duchêne (Hibou57)
2010-06-03 16:03 ` Adam Beneschan
2010-06-05 18:47 ` Marc A. Criley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox