frontend: Prepare IndexGet and IndexSet traits

dinfuehr · Nov 9, 2024 · f4a4487 · f4a4487
1 parent 2824657
commit f4a4487
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/dora-frontend/src/sema/known.rs b/dora-frontend/src/sema/known.rs
@@ -186,6 +186,8 @@ pub struct KnownTraits {
     pub stringable: Option<TraitDefinitionId>,
     pub sub: Option<TraitDefinitionId>,
     pub zero: Option<TraitDefinitionId>,
+    pub index_get: Option<TraitDefinitionId>,
+    pub index_set: Option<TraitDefinitionId>,
 }
 
 impl KnownTraits {
@@ -210,6 +212,8 @@ impl KnownTraits {
             stringable: None,
             sub: None,
             zero: None,
+            index_get: None,
+            index_set: None,
         }
     }
 

diff --git a/pkgs/std/traits.dora b/pkgs/std/traits.dora
@@ -150,3 +150,13 @@ pub trait IntoIterator {
   type IteratorType: Iterator;
   fn iter(): Self::IteratorType;
 }
+
+// pub trait IndexGet[T] {
+//   type Item;
+//   fn get(index: T): Self::Item;
+// }
+
+// pub trait IndexSet[T] {
+//   type Item;
+//   fn set(index: T, value: Self::Item);
+// }