From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,1d295367cf0b8c48
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!proxad.net!proxad.net!newsfeed.arcor.de!news.arcor.de!not-for-mail
Date: Tue, 20 Sep 2005 10:17:13 +0200
From: Georg Bauhaus <bauhaus@futureapps.de>
User-Agent: Debian Thunderbird 1.0.2 (X11/20050817)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: loop variant in SPARK ADA
References: <1127121942.777976.45330@f14g2000cwb.googlegroups.com>
 <AZAXe.4$QR.3@dfw-service2.ext.ray.com>
 <432ee121$0$2102$9b4e6d93@newsread2.arcor-online.net>
 <USGXe.8$QR.2@dfw-service2.ext.ray.com>
In-Reply-To: <USGXe.8$QR.2@dfw-service2.ext.ray.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <432fc542$0$27552$9b4e6d93@newsread4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 20 Sep 2005 10:16:03 MEST
NNTP-Posting-Host: ba18629c.newsread4.arcor-online.net
X-Trace: 
 DXC=U7?d^Q@_2QlUWaeE\nHN0l:ejgIfPPlddjW\KbG]kaMhFYk:AnJB[CmTUUbab]\[ClhP3YJKgE\jl4=eX]<iDWRd
X-Complaints-To: abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:4941
Date: 2005-09-20T10:16:03+02:00
List-Id: <comp.lang.ada>

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