YQL-20339 expr types & reflection

init
commit_hash:1c72053b3785a26cfde418f28a9d054b5a624627

8 files changed, 79 insertions, 0 deletions

diff --git a/yql/essentials/tests/sql/minirun/part6/canondata/result.json b/yql/essentials/tests/sql/minirun/part6/canondata/result.json
index 560a7290800..09014fa6e9b 100644
--- a/yql/essentials/tests/sql/minirun/part6/canondata/result.json
+++ b/yql/essentials/tests/sql/minirun/part6/canondata/result.json
@@ -1029,6 +1029,20 @@
             "uri": "https://{canondata_backend}/1871102/cf0bf303bf8ddaa5f80dc41d0b1079fd931793f8/resource.tar.gz#test.test_like-ilike-Ansi-Results_/results.txt"
         }
     ],
+    "test.test[linear-types-default.txt-Debug]": [
+        {
+            "checksum": "013b2c346f23df65f2e461b9a9cff6f9",
+            "size": 420,
+            "uri": "https://{canondata_backend}/1781765/972251ebb8228a889fb9ce1afa36c3b56345fcfe/resource.tar.gz#test.test_linear-types-default.txt-Debug_/opt.yql"
+        }
+    ],
+    "test.test[linear-types-default.txt-Results]": [
+        {
+            "checksum": "c41448a02612fcc93b6ebd7962faad93",
+            "size": 1625,
+            "uri": "https://{canondata_backend}/1781765/972251ebb8228a889fb9ce1afa36c3b56345fcfe/resource.tar.gz#test.test_linear-types-default.txt-Results_/results.txt"
+        }
+    ],
     "test.test[match_recognize-alerts_without_order-default.txt-Debug]": [
         {
             "checksum": "617ad997b55cab0792da8c20f2fdeb07",
diff --git a/yql/essentials/tests/sql/minirun/part9/canondata/result.json b/yql/essentials/tests/sql/minirun/part9/canondata/result.json
index a313c227381..49df7e40b13 100644
--- a/yql/essentials/tests/sql/minirun/part9/canondata/result.json
+++ b/yql/essentials/tests/sql/minirun/part9/canondata/result.json
@@ -936,6 +936,20 @@
             "uri": "https://{canondata_backend}/1942173/7dbfc6f1dbd4edd784817a1f9360cbbf58ed389f/resource.tar.gz#test.test_json-jsondocument_json_exists-default.txt-Results_/results.txt"
         }
     ],
+    "test.test[linear-types_reflection-default.txt-Debug]": [
+        {
+            "checksum": "f560663decd46b1e0aa9ffa6b4cb4abe",
+            "size": 636,
+            "uri": "https://{canondata_backend}/1600758/7572854f0d921d6c5b446004dd4694f0b511211c/resource.tar.gz#test.test_linear-types_reflection-default.txt-Debug_/opt.yql"
+        }
+    ],
+    "test.test[linear-types_reflection-default.txt-Results]": [
+        {
+            "checksum": "dc95189bef8e953c51115063d8e7182d",
+            "size": 2230,
+            "uri": "https://{canondata_backend}/1600758/7572854f0d921d6c5b446004dd4694f0b511211c/resource.tar.gz#test.test_linear-types_reflection-default.txt-Results_/results.txt"
+        }
+    ],
     "test.test[optimizers-constant_fold_minmax-default.txt-Debug]": [
         {
             "checksum": "fb7c8de975c9383e0a70b0f78e868776",
diff --git a/yql/essentials/tests/sql/sql2yql/canondata/result.json b/yql/essentials/tests/sql/sql2yql/canondata/result.json
index 58981eb0d31..85601647767 100644
--- a/yql/essentials/tests/sql/sql2yql/canondata/result.json
+++ b/yql/essentials/tests/sql/sql2yql/canondata/result.json
@@ -4976,6 +4976,20 @@
             "uri": "https://{canondata_backend}/1937150/ec0019724df75083b0e89cab22f57e10ef36744e/resource.tar.gz#test_sql2yql.test_like-like_rewrite_/sql.yql"
         }
     ],
+    "test_sql2yql.test[linear-types]": [
+        {
+            "checksum": "f756d489eb05467c7a6414636f47f37e",
+            "size": 1609,
+            "uri": "https://{canondata_backend}/1781765/e398ef188885373eb0a98e1d374e17ce1b8dfd7c/resource.tar.gz#test_sql2yql.test_linear-types_/sql.yql"
+        }
+    ],
+    "test_sql2yql.test[linear-types_reflection]": [
+        {
+            "checksum": "4566c1aaefced662dfd823a332922d0d",
+            "size": 2089,
+            "uri": "https://{canondata_backend}/1942100/f91a9f890b15407bdf858550427100932981d900/resource.tar.gz#test_sql2yql.test_linear-types_reflection_/sql.yql"
+        }
+    ],
     "test_sql2yql.test[match_recognize-after_match_skip_past_last_row]": [
         {
             "checksum": "8c019a9e653e16decf0c5d7eee2fe567",
@@ -11989,6 +12003,16 @@
             "uri": "file://test_sql_format.test_like-like_rewrite_/formatted.sql"
         }
     ],
+    "test_sql_format.test[linear-types]": [
+        {
+            "uri": "file://test_sql_format.test_linear-types_/formatted.sql"
+        }
+    ],
+    "test_sql_format.test[linear-types_reflection]": [
+        {
+            "uri": "file://test_sql_format.test_linear-types_reflection_/formatted.sql"
+        }
+    ],
     "test_sql_format.test[match_recognize-after_match_skip_past_last_row]": [
         {
             "uri": "file://test_sql_format.test_match_recognize-after_match_skip_past_last_row_/formatted.sql"
diff --git a/yql/essentials/tests/sql/sql2yql/canondata/test_sql_format.test_linear-types_/formatted.sql b/yql/essentials/tests/sql/sql2yql/canondata/test_sql_format.test_linear-types_/formatted.sql
new file mode 100644
index 00000000000..55128f8b7d7
--- /dev/null
+++ b/yql/essentials/tests/sql/sql2yql/canondata/test_sql_format.test_linear-types_/formatted.sql
@@ -0,0 +1,6 @@
+SELECT
+    FormatType(LinearType(Int32)),
+    FormatType(DynamicLinearType(Int32)),
+    FormatType(ParseType('Linear<Int32>')),
+    FormatType(LinearItemType(LinearType(Int32)))
+;
diff --git a/yql/essentials/tests/sql/sql2yql/canondata/test_sql_format.test_linear-types_reflection_/formatted.sql b/yql/essentials/tests/sql/sql2yql/canondata/test_sql_format.test_linear-types_reflection_/formatted.sql
new file mode 100644
index 00000000000..cf8c59edce8
--- /dev/null
+++ b/yql/essentials/tests/sql/sql2yql/canondata/test_sql_format.test_linear-types_reflection_/formatted.sql
@@ -0,0 +1,8 @@
+SELECT
+    TypeKind(TypeHandle(LinearType(Int32))),
+    TypeKind(TypeHandle(DynamicLinearType(Int32))),
+    FormatType(EvaluateType(TypeHandle(LinearType(Int32)))),
+    FormatType(LinearTypeHandle(TypeHandle(Int32))),
+    FormatType(DynamicLinearTypeHandle(TypeHandle(Int32))),
+    FormatType(LinearItemType(TypeHandle(LinearType(Int32))))
+;
diff --git a/yql/essentials/tests/sql/suites/linear/default.cfg b/yql/essentials/tests/sql/suites/linear/default.cfg
new file mode 100644
index 00000000000..7e882f1da85
--- /dev/null
+++ b/yql/essentials/tests/sql/suites/linear/default.cfg
@@ -0,0 +1,2 @@
+langver 2025.04
+
diff --git a/yql/essentials/tests/sql/suites/linear/types.yql b/yql/essentials/tests/sql/suites/linear/types.yql
new file mode 100644
index 00000000000..a9d832acd94
--- /dev/null
+++ b/yql/essentials/tests/sql/suites/linear/types.yql
@@ -0,0 +1,5 @@
+select FormatType(LinearType(Int32)),
+       FormatType(DynamicLinearType(Int32)),
+       FormatType(ParseType('Linear<Int32>')),
+       FormatType(LinearItemType(LinearType(Int32)))
+
diff --git a/yql/essentials/tests/sql/suites/linear/types_reflection.yql b/yql/essentials/tests/sql/suites/linear/types_reflection.yql
new file mode 100644
index 00000000000..9f63f82606e
--- /dev/null
+++ b/yql/essentials/tests/sql/suites/linear/types_reflection.yql
@@ -0,0 +1,6 @@
+select TypeKind(TypeHandle(LinearType(Int32))),
+       TypeKind(TypeHandle(DynamicLinearType(Int32))),
+       FormatType(EvaluateType(TypeHandle(LinearType(Int32)))),
+       FormatType(LinearTypeHandle(TypeHandle(Int32))),
+       FormatType(DynamicLinearTypeHandle(TypeHandle(Int32))),
+       FormatType(LinearItemType(TypeHandle(LinearType(Int32))));