[m-rev.] trivial diff: enable complicated_constraint test

[Mark Brown]

Estimated hours taken: 0.1
Branches: main

tests/hard_coded/typeclasses/Mmakefile:
	Enable the complicated_constraint test, since the feature is now
	supported (and we pass the test).

tests/hard_coded/typeclasses/complicated_constraint.exp:
	Expected output for this test.

Index: tests/hard_coded/typeclasses/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/typeclasses/Mmakefile,v
retrieving revision 1.48
diff -u -r1.48 Mmakefile
--- tests/hard_coded/typeclasses/Mmakefile	25 Sep 2002 06:49:26 -0000	1.48
+++ tests/hard_coded/typeclasses/Mmakefile	15 Oct 2002 14:04:03 -0000
@@ -8,6 +8,7 @@
 	arbitrary_constraint_class \
 	arbitrary_constraint_pred_2 \
 	arbitrary_constraint_pred_1 \
+	complicated_constraint \
 	constrained_lambda \
 	extract_typeinfo \
 	exist_disjunction \
@@ -62,10 +63,6 @@
 	unbound_tvar \
 	unqualified_method \
 	use_abstract_instance
-
-# The following tests are not enabled:
-#	complicated_constraint --
-#		because we don't support that feature yet
 
 TESTS = $(PROGS)
 SUBDIRS=
Index: tests/hard_coded/typeclasses/complicated_constraint.exp
===================================================================
RCS file: tests/hard_coded/typeclasses/complicated_constraint.exp
diff -N tests/hard_coded/typeclasses/complicated_constraint.exp
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ tests/hard_coded/typeclasses/complicated_constraint.exp	15 Oct 2002 14:03:01 -0000
@@ -0,0 +1,5 @@
+42
+123
+123
+false
+101
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------