Re: loop variant in SPARK ADA

[Georg Bauhaus <bauhaus@futureapps.de>]

Jeffrey Carter wrote:
>  Does this mean you can't write infinite loops in Eiffel?

For sure you can write infinite loops, there is no requirement in the
language that force termination. A variant (or an invariant) need not
be given.

    possibly_infinite_loop(eternity: BOOLEAN) is 
        -- one way to write an infinite loop
      do
        from until eternity loop
          do_it_again
        end
      end