From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: expression function bug or think?
Date: Fri, 17 Jun 2011 11:10:03 +0200
Date: 2011-06-17T11:10:03+02:00 [thread overview]
Message-ID: <4dfb19eb$0$7629$9b4e6d93@newsspool1.arcor-online.net> (raw)
In-Reply-To: <4dfb168a$0$7608$9b4e6d93@newsspool1.arcor-online.net>
On 6/17/11 10:55 AM, Georg Bauhaus wrote:
> when others =>
> [constraint_error when
> not (n - 1 >= 0)
> "range check failed"]
> [constraint_error when
> not (n - 2 >= 0)
> "range check failed"]
> return natural(functions__fib2 (n - 1) + functions__fib2 (n -
> 2));
This looks like a suitable place for the range checks.
Maybe they are being been move upwards for case statements
the way Adam has described?
prev parent reply other threads:[~2011-06-17 9:10 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-06-16 11:00 expression function bug or think? georg bauhaus
2011-06-16 11:27 ` AdaMagica
2011-06-16 15:56 ` Adam Beneschan
2011-06-17 3:56 ` Yannick Duchêne (Hibou57)
2011-06-16 16:16 ` Anh Vo
2011-06-16 18:56 ` Bill Findlay
2011-06-16 19:18 ` Simon Wright
2011-06-16 20:03 ` Georg Bauhaus
2011-06-16 20:03 ` Bill Findlay
2011-06-16 20:31 ` Florian Weimer
2011-06-16 20:41 ` Simon Wright
2011-06-16 21:14 ` Georg Bauhaus
2011-06-16 23:14 ` Bill Findlay
2011-06-17 9:34 ` Martin
2011-06-17 10:33 ` Simon Wright
2011-06-17 10:39 ` Martin
2011-06-17 11:09 ` Niklas Holsti
2011-06-16 21:04 ` Georg Bauhaus
2011-06-17 8:55 ` Georg Bauhaus
2011-06-17 9:10 ` Georg Bauhaus [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox