From b8ef44d64eabf62175d2b3e900124e0607c7b4d3 Mon Sep 17 00:00:00 2001 From: ychenfo Date: Wed, 30 Mar 2022 04:04:27 +0800 Subject: [PATCH] nac3standalone: add test for default param --- nac3standalone/demo/src/default_param.py | 43 ++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 nac3standalone/demo/src/default_param.py diff --git a/nac3standalone/demo/src/default_param.py b/nac3standalone/demo/src/default_param.py new file mode 100644 index 00000000..a55df21a --- /dev/null +++ b/nac3standalone/demo/src/default_param.py @@ -0,0 +1,43 @@ +@extern +def output_int32(x: int32): + ... + +def f1(a: int32 = 4): + output_int32(a) + +def f2(a: int64 = int64(123)): + output_int32(int32(a)) + +def f3(a: uint32 = uint32(234)): + output_int32(int32(a)) + +def f4(a: tuple[int32, tuple[int32, int32], int64] = (4, (5, 6), int64(7))): + output_int32(a[0]) + output_int32(a[1][0]) + output_int32(a[1][1]) + output_int32(int32(a[2])) + +def f5(a: float = 3.45): + output_int32(int32(a)) + +def f6(a: Option[list[int32]] = none): + if a.is_none(): + a = Some([11,22,33]) + output_int32(a.unwrap()[2]) + +def f7(a: Option[tuple[int32, int64]] = Some((3, int64(123)))): + if a.is_some(): + a_unwrap = a.unwrap() + output_int32(a_unwrap[0]) + output_int32(int32(a_unwrap[1])) + + +def run() -> int32: + f1() + f2() + f3() + f4() + f5() + f6() + f7() + return 0 -- 2.44.2