Mark nvalue function as ::promise_total

MiniZinc · Apr 20, 2023 · 165db79 · 165db79
1 parent f05edc4
commit 165db79
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 1 deletion.
diff --git a/changes.rst b/changes.rst
@@ -51,6 +51,7 @@ Bug fixes:
    (:bugref:`679`).
 -  Fix common subexpression elimination for expressions used in incompatible
    contexts (:bugref:`666`).
+-  Add missing ``::promise_total`` to functional version of ``nvalue``.
 
 Changes in the IDE:
 ^^^^^^^^^^^^^^^^^^^

diff --git a/share/minizinc/std/nvalue_fn.mzn b/share/minizinc/std/nvalue_fn.mzn
@@ -3,5 +3,5 @@ include "nvalue.mzn";
 /** @group globals.alldifferent
   Returns the number of distinct values in \a x.
 */
-function var int: nvalue(array[$X] of var int: x) =
+function var int: nvalue(array[$X] of var int: x) :: promise_total =
   let { var 0..length(x): n::is_defined_var; constraint nvalue(n,x)::defines_var(n); } in n;
diff --git a/tests/spec/unit/globals/nvalue/nvalue_total.mzn b/tests/spec/unit/globals/nvalue/nvalue_total.mzn
@@ -0,0 +1,12 @@
+/***
+!Test
+solvers: [gecode]
+expected: !Result
+  solution: !Solution
+    l1: 0
+***/
+
+include "nvalue_fn.mzn";
+
+array[1..10] of var 0..10: X;
+int: l1 :: output = lb(nvalue(X));