refactor: runtime ty check and add more test cases. (#563)

kclvm/runtime/src/api/kclvm.rs

@@ -323,10 +323,13 @@ pub struct ContextConfig {
     pub debug_mode: bool,
 
     pub strict_range_check: bool,
-    pub disable_none: bool,
     pub disable_schema_check: bool,
 
     pub list_option_mode: bool,
+    // Whether to emit none value in the plan process.
+    pub disable_none: bool,
+    // Whether to output empty list in the plan process.
+    pub plan_empty_list: bool,
 }
 
 #[derive(PartialEq, Eq, Clone, Debug)]

kclvm/runtime/src/stdlib/builtin_api.rs

@@ -209,7 +209,7 @@ pub unsafe extern "C" fn kclvm_builtin_option(
             return ValueRef::none();
         }
 
-        panic!("unknonwn type '{typ}'");
+        panic!("unknown type '{typ}'");
     }
 
     if let Some(arg0) = args.arg_0() {

kclvm/runtime/src/value/api.rs

@@ -2394,7 +2394,7 @@ pub unsafe extern "C" fn kclvm_convert_collection_value(
 ) -> *const kclvm_value_ref_t {
     let value = ptr_as_ref(value);
     let tpe = c2str(tpe);
-    let value = convert_collection_value(value, tpe);
+    let value = type_pack_and_check(value, vec![tpe]);
     value.into_raw()
 }
 

kclvm/runtime/src/value/val_plan.rs

@@ -111,6 +111,11 @@ fn filter_results(key_values: &ValueRef) -> Vec<ValueRef> {
                 }
                 let schema_in_list_count = ignore_schema_count + standalone_list.len();
                 let value = &value.as_list_ref().values;
+                // Plan empty list to values.
+                if value.is_empty() && ctx.cfg.plan_empty_list {
+                    let result = results.get_mut(0).unwrap();
+                    result.dict_update_key_value(key.as_str(), ValueRef::list(None));
+                }
                 if schema_in_list_count < value.len() {
                     let result = results.get_mut(0).unwrap();
                     let filtered_list: Vec<&ValueRef> = filtered_list.iter().collect();

kclvm/version/src/lib.rs

@@ -1,7 +1,7 @@
 // Copyright 2021 The KCL Authors. All rights reserved.
 
-pub const VERSION: &str = "0.5.0-alpha.1";
-pub const CHECK_SUM: &str = "eb2f4d1aabc2a287c298bc35c5fcfec1";
+pub const VERSION: &str = "0.5.0-alpha.2";
+pub const CHECK_SUM: &str = "51289ff122a3ea8eea7f8149b8956cd1";
 
 /// Get kCL full version string with the format `{version}-{check_sum}`.
 #[inline]

test/grammar/types/runtime_ty/runtime_ty_0/main.k

@@ -0,0 +1,7 @@
+import json
+
+schema Person:
+    name: str
+    age: int
+
+person: Person = json.decode('{"name": "Alice", "age": 18}')

test/grammar/types/runtime_ty/runtime_ty_0/stdout.golden

@@ -0,0 +1,3 @@
+person:
+  name: Alice
+  age: 18

test/grammar/types/runtime_ty/runtime_ty_1/main.k

@@ -0,0 +1,7 @@
+import json
+
+schema Person:
+    name: str
+    age: int
+
+persons: [Person] = json.decode('[{"name": "Alice", "age": 18}, {"name": "Bob", "age": 10}]')

test/grammar/types/runtime_ty/runtime_ty_1/stdout.golden

@@ -0,0 +1,5 @@
+persons:
+  - name: Alice
+    age: 18
+  - name: Bob
+    age: 10

test/grammar/types/runtime_ty/runtime_ty_err_0/main.k

@@ -0,0 +1,7 @@
+import json
+
+schema Person:
+    name: str
+    age: int
+
+person: Person = json.decode('{"err_name": "Alice", "age": 18}')

test/grammar/types/runtime_ty/runtime_ty_err_0/stderr.golden.py

@@ -0,0 +1,19 @@
+import sys
+import kclvm.kcl.error as kcl_error
+import os
+
+cwd = os.path.dirname(os.path.realpath(__file__))
+
+kcl_error.print_kcl_error_message(
+    kcl_error.get_exception(
+        err_type=kcl_error.ErrType.CompileError_TYPE,
+        file_msgs=[
+            kcl_error.ErrFileMsg(
+                filename=cwd + "/main.k",
+                line_no=5,
+            )
+        ],
+        arg_msg="err_name: No such member in the schema 'Person'"
+    ),
+    file=sys.stdout
+)

test/grammar/types/runtime_ty/runtime_ty_err_1/main.k

@@ -0,0 +1,7 @@
+import json
+
+schema Person:
+    name: str
+    age: int
+
+persons: [Person] = json.decode('[{"name": "Alice", "age": 18}, {"err_name": "Bob", "age": 10}]')

test/grammar/types/runtime_ty/runtime_ty_err_1/stderr.golden.py

@@ -0,0 +1,19 @@
+import sys
+import kclvm.kcl.error as kcl_error
+import os
+
+cwd = os.path.dirname(os.path.realpath(__file__))
+
+kcl_error.print_kcl_error_message(
+    kcl_error.get_exception(
+        err_type=kcl_error.ErrType.CompileError_TYPE,
+        file_msgs=[
+            kcl_error.ErrFileMsg(
+                filename=cwd + "/main.k",
+                line_no=5,
+            )
+        ],
+        arg_msg="err_name: No such member in the schema 'Person'"
+    ),
+    file=sys.stdout
+)