[m-rev.] trivial diff: fix test case failure

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Fix a test case failure caused by the addition of the inst
list.list/1 to the standard library.

tests/hard_coded/contravariance_poly.m:
	Delete the definition of the inst list/1 in this file,
	as it now causes ambiguities with the one defined
	in the standard library.

Julien.

Index: contravariance_poly.m
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/contravariance_poly.m,v
retrieving revision 1.2
diff -u -r1.2 contravariance_poly.m
--- contravariance_poly.m	25 Aug 2004 08:21:26 -0000	1.2
+++ contravariance_poly.m	6 Nov 2004 05:19:48 -0000
@@ -15,7 +15,6 @@
 	).

 :- inst nonempty(I) ---> [I | list(I)].
-:- inst list(I) ---> [I | list(I)] ; [].

 :- type intlist == list(int).
 :- inst bit == bound(0 ; 1).

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