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

[Julien Fischer]

(This is only for the main branch since I have yet to merge the
change that caused the problem onto the release branch).

Estimated hours taken: 1
Branches: main

tests/valid/typeclass_constraint_nonvar_bug.m:
	Fix a failing test case on aral that was caused by my recent
	change to disallow concrete typeclass instances in module
	interfaces.  The test case below was changed so that there
	were only abstract instances in the interface but I forgot
	to provide a corresponding concrete instance for one of them
	in the implementation.  This resulted in C compilation errors
	in the hlc* grades.

	XXX the compiler should really do a better job of checking
	for this situation.

Index: typeclass_constraint_nonvar_bug.m
===================================================================
RCS file: /home/mercury1/repository/tests/valid/typeclass_constraint_nonvar_bug.m,v
retrieving revision 1.2
diff -u -r1.2 typeclass_constraint_nonvar_bug.m
--- typeclass_constraint_nonvar_bug.m	12 Apr 2005 07:58:24 -0000	1.2
+++ typeclass_constraint_nonvar_bug.m	12 Apr 2005 23:39:25 -0000
@@ -90,6 +90,10 @@
 	pred(unify_oo/2) is cint_unify_oo
 ].

+:- instance eq(int) where [
+	pred(unify_oo/2) is int_unify_oo
+].
+
 :- instance add(cint) where [].
 :- instance neq(cint) where [].
 :- instance ord(cint) where [].

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