Add definition of functional float_times for make_par

Resolves #870
MiniZinc · Dec 9, 2024 · 6a8e305 · 6a8e305
1 parent 23adc36
commit 6a8e305
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/changes.rst b/changes.rst
@@ -50,6 +50,8 @@ Bug fixes:
 -  Fix a bug in the typeing of enum constructor functions, which would cause
    incorrect type errors when using them in the type-inst of a variable
    declaration.
+-  Fix a segfault caused by an internal `float_times` variant not correctly being
+	 handled during output processing (:bugref:`870`).
 
 .. _v2.8.7:
 

diff --git a/share/minizinc/std/stdlib/stdlib_internal.mzn b/share/minizinc/std/stdlib/stdlib_internal.mzn
@@ -84,6 +84,8 @@ predicate int_le(int:s, array[$T] of var int: X) = forall(x in array1d(X)) (x >=
 predicate float_le(array[$T] of var float: X, float: s) = forall(x in array1d(X)) (x <= s);
 predicate float_le(float:s, array[$T] of var float: X) = forall(x in array1d(X)) (x >= s);
 
+function float: float_times(float: x, float: y) = x*y;
+
 predicate array_var_int_element(var int: x, array[int] of int: y, var int: z) =
   array_int_element(x,y,z);
 predicate array_var_bool_element(var int: x, array[int] of bool: y, var bool: z) =