You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
to_enum(W, 1) is A(W(1)), the only element of A, while the only element of B is {B(W(2))}.
It looks like the in is takes the index of the enumeration element A(W(1)) within that enumeration A,
and checks that there is an element within enumeration B with the same index?
I'd have hoped it would have compared the actual enumeration values.
Perhaps this is working as intended, but the docs really could be a bit more verbose in places...
This is on debian sid:
$ dpkg -l | grep -i minizinc
ii minizinc 2.8.3+dfsg1-1 amd64 constraint modelling language and tool chain
ii minizinc-ide 2.8.2-1+b1 amd64 MiniZinc constraint modelling language IDE
The text was updated successfully, but these errors were encountered:
Both of these are incorrect from a type perspective since the first compares where a W element is part of a set of A and the latter whether it is part of a set of B.
Both should have shown an type error, but current work because the definition of in currently just always converts to int/set of int. We will change the definitions to actually perform the correct type checking.
to_enum(W, 1)
isA(W(1))
, the only element ofA
, while the only element ofB
is{B(W(2))}
.It looks like the
in
is takes the index of the enumeration elementA(W(1))
within that enumerationA
,and checks that there is an element within enumeration
B
with the same index?I'd have hoped it would have compared the actual enumeration values.
Perhaps this is working as intended, but the docs really could be a bit more verbose in places...
This is on debian sid:
The text was updated successfully, but these errors were encountered: