fix: require attr check for nested list and config values. (#672)

* chore: bump kcl version to v0.5.5

* feat: impl list and config schema optional attribute check recursively

VERSION

@@ -1 +1 @@
-0.5.4
+0.5.5

kclvm/runtime/src/value/val_schema.rs

@@ -165,8 +165,21 @@ impl ValueRef {
                 // Recursive check schema values for every attributes.
                 if recursive {
                     for value in attr_map.values() {
+                        // For composite type structures, we recursively check the schema within them.
                         if value.is_schema() {
                             value.schema_check_attr_optional(recursive);
+                        } else if value.is_list() {
+                            for v in &value.as_list_ref().values {
+                                if v.is_schema() {
+                                    v.schema_check_attr_optional(recursive)
+                                }
+                            }
+                        } else if value.is_dict() {
+                            for v in value.as_dict_ref().values.values() {
+                                if v.is_schema() {
+                                    v.schema_check_attr_optional(recursive)
+                                }
+                            }
                         }
                     }
                 }

test/grammar/schema/optional_attr/fail_13/main.k

@@ -0,0 +1,11 @@
+schema S:
+    a: int
+    b: str
+
+schema L:
+    ss?: [S]
+    sss?: {str:S}
+
+L {
+    ss = [S {b = "b"}]
+}

test/grammar/schema/optional_attr/fail_13/stderr.golden.py

@@ -0,0 +1,18 @@
+import sys
+import os
+
+import kclvm.kcl.error as kcl_error
+
+cwd = os.path.dirname(os.path.realpath(__file__))
+
+kcl_error.print_kcl_error_message(
+    kcl_error.get_exception(err_type=kcl_error.ErrType.EvaluationError_TYPE,
+                            file_msgs=[
+                                kcl_error.ErrFileMsg(
+                                    filename=os.path.join(cwd, "main.k"),
+                                    line_no=10,
+                                ),
+                            ],
+                            arg_msg="attribute 'a' of S is required and can't be None or Undefined")
+    , file=sys.stdout
+)

test/grammar/schema/optional_attr/fail_14/main.k

@@ -0,0 +1,11 @@
+schema S:
+    a: int
+    b: str
+
+schema L:
+    ss?: [S]
+    sss?: {str:S}
+
+L {
+    sss.aa: S {b = "2"}
+}

test/grammar/schema/optional_attr/fail_14/stderr.golden.py

@@ -0,0 +1,18 @@
+import sys
+import os
+
+import kclvm.kcl.error as kcl_error
+
+cwd = os.path.dirname(os.path.realpath(__file__))
+
+kcl_error.print_kcl_error_message(
+    kcl_error.get_exception(err_type=kcl_error.ErrType.EvaluationError_TYPE,
+                            file_msgs=[
+                                kcl_error.ErrFileMsg(
+                                    filename=os.path.join(cwd, "main.k"),
+                                    line_no=10,
+                                ),
+                            ],
+                            arg_msg="attribute 'a' of S is required and can't be None or Undefined")
+    , file=sys.stdout
+)