v2 / vlib / v / tests / infix_expr_test.v
83 lines · 80 sloc · 1.5 KB · d8a5df90446484b1ebd8fd8e241251070aea497a
Raw 


1fn test_cmp_signed_and_u32() {


2    // ==


3    assert int(1) == u32(1)


4    // !=


5    assert int(1) != u32(2)


6    // >


7    assert !(int(1) > u32(1))


8    assert int(1) > u32(0)


9    // >=


10    assert !(int(0) >= u32(1))


11    assert int(1) >= u32(1)


12    assert int(1) >= u32(0)


13    // <


14    assert !(int(1) < u32(1))


15    assert int(0) < u32(1)


16    // <=


17    assert int(0) <= u32(1)


18    assert int(1) <= u32(1)


19    assert !(int(1) <= u32(0))


20}


21


22fn test_cmp_u32_and_signed() {


23    // ==


24    assert u32(1) == int(1)


25    // !=


26    assert u32(2) != int(1)


27    // >


28    assert !(u32(1) > int(1))


29    assert u32(1) > int(0)


30    // >=


31    assert u32(1) >= int(0)


32    assert u32(1) >= int(1)


33    assert !(u32(0) >= int(1))


34    // <


35    assert !(u32(1) < int(1))


36    assert u32(0) < int(1)


37    // <=


38    assert u32(0) <= int(1)


39    assert u32(1) <= int(1)


40    assert !(u32(1) <= int(0))


41}


42


43fn test_cmp_signed_and_u64() {


44    // ==


45    // assert int(1) == u64(1)


46    // !=


47    // assert int(1) != u64(2)


48    // >


49    assert !(int(1) > u64(1))


50    assert int(1) > u64(0)


51    // >=


52    assert !(int(0) >= u64(1))


53    assert int(1) >= u64(1)


54    assert int(1) >= u64(0)


55    // <


56    assert !(int(1) < u64(1))


57    assert int(0) < u64(1)


58    // <=


59    assert int(0) <= u64(1)


60    assert int(1) <= u64(1)


61    assert !(int(1) <= u64(0))


62}


63


64fn test_cmp_u64_and_signed() {


65    // ==


66    // assert u64(1) == int(1)


67    // !=


68    // assert u64(2) != int(1)


69    // >


70    assert !(u64(1) > int(1))


71    assert u64(1) > int(0)


72    // >=


73    assert u64(1) >= int(0)


74    assert u64(1) >= int(1)


75    assert !(u64(0) >= int(1))


76    // <


77    assert !(u64(1) < int(1))


78    assert u64(0) < int(1)


79    // <=


80    assert u64(0) <= int(1)


81    assert u64(1) <= int(1)


82    assert !(u64(1) <= int(0))


83}


84