core: Fix missing fields in range type

2024-07-09 13:31:45 +08:00 · 2024-07-09 13:31:45 +08:00 · a91602915a
parent 1c56005a01
commit a91602915a
1 changed files with 7 additions and 1 deletions
--- a/nac3core/src/toplevel/helper.rs
+++ b/nac3core/src/toplevel/helper.rs
@ -361,7 +361,13 @@ impl TopLevelComposer {
        });
        let range = unifier.add_ty(TypeEnum::TObj {
            obj_id: PrimDef::Range.id(),
-            fields: HashMap::new(),
+            fields: [
+                ("start".into(), (int32, true)),
+                ("stop".into(), (int32, true)),
+                ("step".into(), (int32, true)),
+            ]
+            .into_iter()
+            .collect(),
            params: VarMap::new(),
        });
        let str = unifier.add_ty(TypeEnum::TObj {