[m-dev.] diff: enable implied_instance_missing_constraint test case

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Oct 30 18:49:22 AEST 1999


Estimated hours taken: 0.25

Fix up and enable the implied_instance_missing_constraint test case
in the tests/hard_coded/typeclasses directory.

tests/hard_coded/typeclasses/implied_instance_missing_constraint.m:
	Add a couple more calls to make the test case a bit harder.

tests/hard_coded/typeclasses/implied_instance_missing_constraint.exp:
	Change the expected output to match what should actually
	be output.

tests/hard_coded/typeclasses/Mmakefile:
	Enable the implied_instance_missing_constraint test case,
	since we now pass it.

Workspace: /home/mercury0/fjh/mercury
Index: tests/hard_coded/typeclasses/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/typeclasses/Mmakefile,v
retrieving revision 1.21
diff -u -d -r1.21 Mmakefile
--- Mmakefile	1999/09/29 05:21:26	1.21
+++ Mmakefile	1999/10/30 08:46:05
@@ -17,6 +17,7 @@
 	ho_map \
 	implied_instance \
 	implied_instance_multi_constraint \
+	implied_instance_missing_constraint \
 	implied_instance_poly \
 	inference_test \
 	inference_test_2 \
@@ -51,14 +52,6 @@
         endif
     endif
 endif
-
-
-
-# implied_instance_missing_constraint is not yet included as there is a bug
-# stopping it from working.
-# 
-# Actually, there is a bug, but it isn't in that test case. I'm trying to
-# find exactly how to trigger the bug. Oh well...
 
 MCFLAGS-extra_typeinfo = --optimize-higher-order --no-type-specialization \
 				--body-typeinfo-liveness
Index: tests/hard_coded/typeclasses/implied_instance_missing_constraint.exp
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/typeclasses/implied_instance_missing_constraint.exp,v
retrieving revision 1.1
diff -u -d -r1.1 implied_instance_missing_constraint.exp
--- implied_instance_missing_constraint.exp	1998/01/29 23:51:51	1.1
+++ implied_instance_missing_constraint.exp	1999/10/30 08:44:45
@@ -1,4 +1,5 @@
-1[
+-1[][
+1
 1
 2
 3
Index: tests/hard_coded/typeclasses/implied_instance_missing_constraint.m
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/typeclasses/implied_instance_missing_constraint.m,v
retrieving revision 1.1
diff -u -d -r1.1 implied_instance_missing_constraint.m
--- implied_instance_missing_constraint.m	1998/01/29 23:51:52	1.1
+++ implied_instance_missing_constraint.m	1999/10/30 08:43:55
@@ -50,8 +50,12 @@
 	).
 
 main -->
+	{ zzz(-2, A) },
+	p(A),
 	{ zzz([1,2,3], X) },
 	p(X),
+	{ zzz([1,1,2,3], Y) },
+	p(Y),
 	io__nl.
 
 :- pred zzz(T, T) <= printable(T).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list