Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!julius.cs.uiuc.edu!apple!snorkelwacker!bloom-beacon!eru!hagbard!sunic!enea!sommar
From: sommar@enea.se (Erland Sommarskog)
Newsgroups: comp.lang.eiffel
Subject: Re: trouble with variant assertions
Message-ID: <2149@enea.se>
Date: 1 Oct 90 22:37:43 GMT
References: <1990Sep29.054436.16582@ecn.purdue.edu> <416@eiffel.UUCP>
Organization: Enea Data AB, Sweden
Lines: 20

Kim Rochat (kimr@eiffel.UUCP) writes:
)) 	from i:= 1
)) 	 variant c_1: 100  -- you can put `dim' or 100000 the result is the same
)) 	 until dim < i
)) 	 loop
)) 	   i := i+1
)) 	end
>...
>
>This <the exception> is exactly right.  The fact that the loop variant 
>value had not
>decreased after the first loop iteration was detected and an exception
>was raised.

To which one could add that the compiler could have flagged this
error. Putting a constant in the variant must obviously be a
mistake. (Or?)
-- 
Erland Sommarskog - ENEA Data, Stockholm - sommar@enea.se
"Nelly Nilsson n|jer sig numera n{ppeligen med nio n|tter till natten"