Prev: Ada-bindings for 0mq.
Next: Ada Debian policy plea
From: Duke Normandin on 22 May 2010 22:28 On 2010-05-22, Yannick Duch�ne <yannick_duchene(a)yahoo.fr> wrote: > Le Sat, 22 May 2010 15:04:03 +0200, Duke Normandin <dukeofperl(a)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 ? > http://www.infres.enst.fr/~pautet/Ada95/a95list.htm -- Duke *** Tolerance becomes a crime, when applied to evil [Thomas Mann] ***
From: Yannick Duchêne (Hibou57) on 22 May 2010 22:36
Le Sun, 23 May 2010 04:28:35 +0200, Duke Normandin <dukeofperl(a)ml1.net> a écrit: >> What is the Coronado tutorial you oftenly refer to ? >> > > http://www.infres.enst.fr/~pautet/Ada95/a95list.htm Oh thanks, did not knew this one, will suggest it some future days when I will feel it would be good to do so. Funny, on this page, there is a link named âHow to Remit Payment For this Tutorial!â, but this led me to an error 404 page. Will have to tell the author about it. -- There is even better than a pragma Assert: a SPARK --# check. |