From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Noob question: universal_integer type
Date: Sat, 22 May 2010 22:08:39 +0200
Date: 2010-05-22T22:08:39+02:00 [thread overview]
Message-ID: <op.vc4h8phuxmjfy8@garhos> (raw)
In-Reply-To: 7DQJn.4466$Z6.1110@edtnps82
Le Sat, 22 May 2010 15:04:03 +0200, Duke Normandin <dukeofperl@ml1.net> a
écrit:
> I love it! and the compiler would choke with an "out of bounds"
> exception if
> you called Eat (Apples'(25)); - if I understand the Coronado tutorial
> correctly. Thanks for the input...
What is the Coronado tutorial you oftenly refer to ?
--
There is even better than a pragma Assert: a SPARK --# check.
next prev parent reply other threads:[~2010-05-22 20:08 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-21 23:15 Noob question: universal_integer type Duke Normandin
2010-05-21 23:33 ` Yannick Duchêne (Hibou57)
2010-05-21 23:34 ` Yannick Duchêne (Hibou57)
2010-05-21 23:37 ` Jeffrey R. Carter
2010-05-22 2:04 ` Duke Normandin
2010-05-22 7:16 ` Niklas Holsti
2010-05-22 13:04 ` Duke Normandin
2010-05-22 13:47 ` Dmitry A. Kazakov
2010-05-22 14:51 ` Duke Normandin
2010-05-22 20:08 ` Yannick Duchêne (Hibou57) [this message]
2010-05-23 2:28 ` Duke Normandin
2010-05-23 2:36 ` 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