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

Mark Brown dougl at cs.mu.OZ.AU
Sat Nov 23 14:49:38 AEDT 2002


On 22-Nov-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Index: tests/invalid/circ_inst2.m
> ===================================================================
> RCS file: /home/mercury1/repository/tests/invalid/circ_inst2.m,v
> retrieving revision 1.2
> diff -u -d -r1.2 circ_inst2.m
> --- tests/invalid/circ_inst2.m	22 Nov 2002 09:00:52 -0000	1.2
> +++ 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.  Other than that, the
diff is fine.

Cheers,
Mark.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list