From: Peter Chapin <PChapin@vtc.vsc.edu>
Subject: Re: Preconditions which anyway would be caught?
Date: Sat, 09 Aug 2014 15:24:48 -0400
Date: 2014-08-09T15:24:48-04:00 [thread overview]
Message-ID: <BJadnfLOjLUf6HvO4p2dnAA@giganews.com> (raw)
In-Reply-To: <7vydnShDldsh6XvO4p2dnAA@giganews.com>
On 2014-08-09 15:21, Peter Chapin wrote:
> Proper syntax here is
>
> function Inverse(X : Float)
> with Pre => (X /= 0) is
> begin
> return 1/X;
> end;
Well that's closer. How about
function Inverse(X : Float) return Float
with Pre => (X /=0) is
begin
return 1/X;
end;
Peter
next prev parent reply other threads:[~2014-08-09 19:24 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-09 15:35 Preconditions which anyway would be caught? Victor Porton
2014-08-09 15:40 ` mockturtle
2014-08-09 16:08 ` Jeffrey Carter
2014-08-09 19:21 ` Peter Chapin
2014-08-09 19:24 ` Peter Chapin [this message]
2014-08-09 21:04 ` Niklas Holsti
2014-08-09 22:57 ` Peter Chapin
2014-08-10 20:58 ` Niklas Holsti
2014-08-10 7:24 ` Dmitry A. Kazakov
2014-08-11 0:00 ` Shark8
2014-08-11 7:31 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox