Merge pull request #332 from KisaragiEffective/feat/types/vec

KisaragiEffective · Dec 20, 2023 · 54ebcc3 · 54ebcc3
2 parents c8786df + 8d43206
commit 54ebcc3
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/package/origlang-typesystem-model/src/lib.rs b/package/origlang-typesystem-model/src/lib.rs
@@ -84,7 +84,11 @@ pub enum Type {
     #[display(fmt = "&mut {_0}")]
     RefMut(Box<Self>),
     /// indicates that value may not present at memory location.
-    Option(Box<Self>)
+    #[display(fmt = "Option<{_0}>")]
+    Option(Box<Self>),
+    /// indicates continuous and growable memory.
+    #[display(fmt = "Vec<{_0}>")]
+    Vec(Box<Self>),
 }
 
 impl Type {