[m-rev.] for review: fix infinite loop for `:- inst x == x.'

[Fergus Henderson]

On 23-Nov-2002, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> On 22-Nov-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > +++ tests/invalid/circ_inst2.m	22 Nov 2002 11:43:32 -0000
> > @@ -10,7 +10,7 @@
> >  :- inst circ1(I) == circ1(I).			% error -- cyclic
> >  :- inst circ2(I) == circ2(circ2(I)).		% error -- cyclic
> >  :- inst circ3(I) == list_skel(circ3(I)).	% OK
> > -:- inst circ4(I) == circ4(list_skel(I)).	% OK
> > +:- inst circ4(I) == circ4(list_skel(I)).	% error -- cyclic
> 
> A similar fix is needed for circ_inst4.m, too.

Well spotted -- thanks.  Fixed.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------