fix: make None default size if unspecified (#84)

Author: qartik

.pre-commit-config.yaml

@@ -15,7 +15,7 @@ repos:
       - id: check-json
 
   - repo: https://github.com/crate-ci/typos
-    rev: v1.20.10
+    rev: v1.21.0
     hooks:
       - id: typos
         args: []
@@ -43,7 +43,7 @@ repos:
         - black==23.10.1
 
   - repo: https://github.com/astral-sh/ruff-pre-commit
-    rev: v0.4.2
+    rev: v0.4.3
     hooks:
       - id: ruff
         args: [--fix, --exit-non-zero-on-fix]

phir/model.py

@@ -45,7 +45,7 @@ class CVarDefine(Data):
     data: Literal["cvar_define"]
     data_type: Literal["i64", "i32", "u64", "u32"]
     variable: Sym
-    size: PositiveInt | None = Field(strict=True)
+    size: PositiveInt | None = Field(default=None, strict=True)
 
     @model_validator(mode="after")
     def check_size(self: CVarDefine) -> CVarDefine:

schema.json

@@ -190,14 +190,14 @@
               "type": "null"
             }
           ],
+          "default": null,
           "title": "Size"
         }
       },
       "required": [
         "data",
         "data_type",
-        "variable",
-        "size"
+        "variable"
       ],
       "title": "CVarDefine",
       "type": "object"