Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!ucsd!hub.ucsb.edu!eiffel!stephan
From: stephan@eiffel.UUCP (Philippe Stephan)
Newsgroups: comp.lang.eiffel
Subject: Re: Errors in COMPARABLE and PART_COMPAR
Summary: Don't forget redefinition
Message-ID: <325@eiffel.UUCP>
Date: 7 May 90 23:19:45 GMT
References: <KIM.90May5032047@helios.enea.se>
Organization: Interactive Software Engineering, Santa Barbara CA
Lines: 15

In response to <KIM.90May5032047@helios.enea.se>, about "Errors in
COMPARABLE and PART_COMPAR", 2 things have to be said:

	1) The forthcoming version of the compiler allows circularly
defined assertions: when assertion checking involves a call to a
routine, no assertion check is made on the called routine. What's
pointed out is actually a bug in 2.2.

	2) The function `equal' from ANY is redefinable. Its default
behavior is to do a field by field comparison, but why not?
The freight capacity of a truck can of course be the only criterion
for a sort, if you want so.

Philippe Stephan.
stephan@eiffel.com