[m-dev.] diff: fix bug in tests/valid/intermod_user_equality*2.m

[Fergus Henderson]

On 17-May-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 
> Estimated hours taken: 1
> 
> tests/valid/intermod_user_equality2.m:
> tests/valid/intermod_user_equality_nested2.m:
> 	Fix a bug in these test cases that caused a compile error
> 	("unification for non-canonical type is not guaranteed to succeed")
> 	when building things in MLDS grades.  For the LLDS back-end,
> 	these modules weren't being compiled, only the modules that
> 	import them were being compiled; but for the MLDS back-end,
> 	compiling the latter to `.o' requires generating the header
> 	files for the former, and generating the header files requires
> 	compilation.

Oops, forgot the diff.  Here it is.

cvs diff tests/valid/intermod_user_equality2.m tests/valid/intermod_user_equality_nested2.m
Index: tests/valid/intermod_user_equality2.m
===================================================================
RCS file: /home/mercury1/repository/tests/valid/intermod_user_equality2.m,v
retrieving revision 1.1
diff -u -d -r1.1 intermod_user_equality2.m
--- tests/valid/intermod_user_equality2.m	2000/01/31 03:59:08	1.1
+++ tests/valid/intermod_user_equality2.m	2000/05/16 19:44:57
@@ -17,3 +17,4 @@
 foo_unify(X, X).
 
 foo_field1(ctor1(X, _), X).
+foo_field2(ctor2(X, _), X).
Index: tests/valid/intermod_user_equality_nested2.m
===================================================================
RCS file: /home/mercury1/repository/tests/valid/intermod_user_equality_nested2.m,v
retrieving revision 1.1
diff -u -d -r1.1 intermod_user_equality_nested2.m
--- tests/valid/intermod_user_equality_nested2.m	2000/01/31 03:59:09	1.1
+++ tests/valid/intermod_user_equality_nested2.m	2000/05/16 19:45:08
@@ -36,3 +36,4 @@
 foo_unify(X, X).
 
 foo_field1(ctor1(X, _), X).
+foo_field1(ctor2(X, _), X).
-- 
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
--------------------------------------------------------------------------