Re: Division by zero

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Wed, 29 Jun 2005 17:50:43 +1200, Lurker wrote:

> "Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message
> news:wccy88ugorw.fsf@shell01.TheWorld.com...
> 
>> 11.6(5) is all about run time effects.  If divide by zero were illegal
>> (which means at compile time), then 11.6 would not apply.
> 
> Which brings us back to my original question - why is it legal?

Because within *one* type [Integer in this case] it is a halting problem:

declare
   A : Integer := 1;
   B : Integer;
begin
   if HALT (x) then
      B := 0;
   else
      B := 1;
   end if;
   A := A / B;
end;

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de