[m-rev.] trivial diff: fix failure of invalid/zinc2mer_lib

Julien Fischer juliensf at csse.unimelb.edu.au
Fri Nov 23 14:15:35 AEDT 2007

Estimated hours taken: 0.1
Branches: main

Fix a failing test case.

 	Update the expected error to conform to Ralph's recent
 	change to inst matching.


Index: zinc2mer_lib.err_exp
RCS file: /home/mercury/mercury1/repository/tests/invalid/zinc2mer_lib.err_exp,v
retrieving revision 1.1
diff -u -r1.1 zinc2mer_lib.err_exp
--- zinc2mer_lib.err_exp	25 Oct 2007 05:05:14 -0000	1.1
+++ zinc2mer_lib.err_exp	23 Nov 2007 03:13:41 -0000
@@ -1,10 +1,12 @@
+zinc2mer_lib.m:035: In clause for `min_domsize_min_split(ia, oa)':
+zinc2mer_lib.m:035:   in the return value of call to function
+zinc2mer_lib.m:035:   `zinc2mer_lib.min_split_var'/1:
+zinc2mer_lib.m:035:   mode error: variable `BranchConstraints' has
+zinc2mer_lib.m:035:   instantiatedness `free',
+zinc2mer_lib.m:035:   expected instantiatedness was `any'.
  zinc2mer_lib.m:037: In `min_split_var'(in(any)) = in(any):
  zinc2mer_lib.m:037:   error: determinism declaration not satisfied.
  zinc2mer_lib.m:037:   Declared `det', inferred `semidet'.
  zinc2mer_lib.m:045:   Unification of `BranchConstraints' and `list.[]' can
  zinc2mer_lib.m:045:   fail.
-zinc2mer_lib.m:034: In clause for `min_domsize_min_split(ia, oa)':
-zinc2mer_lib.m:034:   mode error: argument 2 became too instantiated.
-zinc2mer_lib.m:034:   Final instantiatedness of `HeadVar__2' was `free',
-zinc2mer_lib.m:034:   expected final instantiatedness was `any'.
  For more information, recompile with `-E'.

mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au

More information about the reviews mailing list