Skip to content

Commit caad880

Browse files
Add failing test for upcast order
1 parent 4d5aca0 commit caad880

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

python/tests/test_array_api.py

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,11 @@
2727
some_int_index = constant("some_int_index", Int)
2828

2929

30+
def test_upcast_order():
31+
# verify that the following works by upcasting properly to floats
32+
assert Int(2) > round(0.5 * Int(2))
33+
34+
3035
@function(ruleset=array_api_ruleset)
3136
def is_even(x: Int) -> Boolean:
3237
return x % 2 == 0

0 commit comments

Comments
 (0)