diff --git a/nac3standalone/demo/src/lists.py b/nac3standalone/demo/src/lists.py index f05701bf..470c00dc 100644 --- a/nac3standalone/demo/src/lists.py +++ b/nac3standalone/demo/src/lists.py @@ -1,3 +1,7 @@ +@extern +def output_bool(x: bool): + ... + @extern def output_int32_list(x: list[int32]): ... @@ -30,6 +34,32 @@ def run() -> int32: get_list_slice() list_slice_assignment() + + output_int32_list([1, 2, 3] + [4, 5, 6]) + output_int32_list([1, 2, 3] * 3) + output_bool([] == []) + output_bool([0] == []) + output_bool([0] == [0]) + output_bool([0, 1] == [0]) + output_bool([0, 1] == [0, 1]) + output_bool([] != []) + output_bool([0] != []) + output_bool([0] != [0]) + output_bool([0] != [0, 1]) + output_bool([0, 1] != [0, 1]) + output_bool([] == [] == []) + output_bool([0] == [0] == [0]) + output_bool([0, 1] == [0] == [0, 1]) + output_bool([0, 1] == [0, 1] == [0]) + output_bool([0] == [0, 1] == [0, 1]) + output_bool([0, 1] == [0, 1] == [0, 1]) + output_bool([] != [] != []) + output_bool([0] != [0] != [0]) + output_bool([0, 1] != [0] != [0, 1]) + output_bool([0, 1] != [0, 1] != [0]) + output_bool([0] != [0, 1] != [0, 1]) + output_bool([0, 1] != [0, 1] != [0, 1]) + return 0 def get_list_slice():