[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