Closed GreasySlug closed 1 month ago
When trying to calculate mod with Int and Nat, the cast fails.
Int
Nat
cargo lwr
>>> 1 % 1 # or 1 % -1
0
TypeError: the subtype constraint in this expression cannot be satisfied: subtype: {Int(-1), } supertype: Div((({Int(-1), })))
No response
0.5.9
3.10.6
Windows 10
Describe the bug?
When trying to calculate mod with
Int
andNat
, the cast fails.Reproducible code
cargo lwr
Expected result
0
Actual result
Additional context
No response
Erg version
0.5.9
Python version
3.10.6
os
Windows 10