feat(type-system): add pointer type

KisaragiEffective · Oct 15, 2023 · fc2a42f · fc2a42f
1 parent 104add3
commit fc2a42f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/package/origlang-typesystem-model/src/lib.rs b/package/origlang-typesystem-model/src/lib.rs
@@ -68,6 +68,10 @@ pub enum Type {
     Tuple(DisplayTupleType),
     #[display(fmt = "{_0}")]
     Record(DisplayRecordType),
+    #[display(fmt = "*const {_0}")]
+    Ref(Box<Self>),
+    #[display(fmt = "*mut {_0}")]
+    RefMut(Box<Self>)
 }
 
 impl Type {