From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Access types - what's happening here?
Date: Wed, 26 May 2010 00:39:30 +0200
Date: 2010-05-26T00:39:30+02:00 [thread overview]
Message-ID: <op.vc9874f2xmjfy8@garhos> (raw)
In-Reply-To: op.vc985pznxmjfy8@garhos
Le Wed, 26 May 2010 00:38:03 +0200, Yannick Duchêne (Hibou57)
<yannick_duchene@yahoo.fr> a écrit:
> You get the same thing as if you do
>
> Old_Serial_Number := Serial_Number("Lovelace, Ada").all;
> Old_Serial_Number.all := New_Serial_Number;
Typo error, sorry. You should read:
Old_Serial_Number := Serial_Number("Lovelace, Ada");
Old_Serial_Number.all := New_Serial_Number;
instead.
--
There is even better than a pragma Assert: a SPARK --# check.
next prev parent reply other threads:[~2010-05-25 22:39 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-25 22:27 Access types - what's happening here? KK6GM
2010-05-25 22:38 ` Yannick Duchêne (Hibou57)
2010-05-25 22:39 ` Yannick Duchêne (Hibou57) [this message]
2010-05-25 22:47 ` KK6GM
2010-05-25 23:33 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox