[m-rev.] trivial diff: fix polymorphic_unification test

[Fergus Henderson]

Estimated hours taken: 1
Branches: main, release

tests/invalid/polymorphic_unification.err_exp:
	Update the expected output for this test case to reflect my
	recent change to compiler/modecheck_unify.m.

	My recent change actually made the compiler's output for this
	case less informative, but this case is pretty rare, and it's
	better to give less informative output in some cases
	that to give incorrect and misleading output in some cases.

Workspace: /mnt/venus/home/venus/fjh/ws-venus4/mercury
Index: tests/invalid/polymorphic_unification.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/polymorphic_unification.err_exp,v
retrieving revision 1.3
diff -u -d -r1.3 polymorphic_unification.err_exp
--- tests/invalid/polymorphic_unification.err_exp	1999/06/30 17:13:43	1.3
+++ tests/invalid/polymorphic_unification.err_exp	2001/08/11 05:34:56
@@ -1,5 +1,4 @@
 polymorphic_unification.m:019: In clause for `p(in, ((list:list_skel) -> dead))':
-polymorphic_unification.m:019:   in argument 2 of clause head:
 polymorphic_unification.m:019:   in polymorphically-typed unification:
 polymorphic_unification.m:019:   mode error: variable `HeadVar__2' has instantiatedness `(list:list_skel)',
 polymorphic_unification.m:019:   expected instantiatedness was `ground' or `any'.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------