Merge branch 'rightlib' into mergelibs-241120-1113

1 files changed, 53 insertions, 0 deletions

diff --git a/yql/essentials/tests/sql/suites/expr/try_member.sql b/yql/essentials/tests/sql/suites/expr/try_member.sql
new file mode 100644
index 0000000000..c543b523c0
--- /dev/null
+++ b/yql/essentials/tests/sql/suites/expr/try_member.sql
@@ -0,0 +1,53 @@
+/* postgres can not */
+/* syntax version 1 */
+/* yt can not */
+
+$s = <|a:1, b:2u/1u, c:Just(Just(1))|>;
+$js = Just($s);
+$es = Nothing(Struct<a:Int32, b:Uint32?, c:Int32??>?);
+
+-- result of TryMember() when member is not present is third argument
+-- (optional third arg if struct is optional, but third arg is not)
+select
+  TryMember($s, "z", 'qqq'),
+  TryMember($js, "z", null),
+  TryMember($es, "z", Just(Just('qqq'))),
+  TryMember($js, "z", 'zzz'),
+;
+
+
+-- fully equivalent to <struct>.<name>
+select
+  TryMember($s, "a", null),
+  TryMember($s, "b", null),
+  TryMember($s, "c", null),
+
+  TryMember($js, "a", null),
+  TryMember($js, "b", null),
+  TryMember($js, "c", null),
+
+  TryMember($es, "a", null),
+  TryMember($es, "b", null),
+  TryMember($es, "c", null),
+;
+
+-- TypeOf TryMember is type of third argument
+-- field type should either match third type exactly, or (if the third type is optional) 
+-- Optional(field) should be equal to third type
+select
+  TryMember($s, "a", 999),
+  TryMember($s, "a", Just(999)),
+  TryMember($s, "b", Just(999u)),
+  TryMember($s, "c", Just(Just(999))),
+  
+  TryMember($js, "a", 999),
+  TryMember($js, "a", Just(999)),
+  TryMember($js, "b", Just(999u)),
+  TryMember($js, "c", Just(Just(999))),
+  
+  TryMember($es, "a", 999),
+  TryMember($es, "a", Just(999)),
+  TryMember($es, "b", Just(999u)),
+  TryMember($es, "c", Just(Just(999))),
+;
+