frontend: Start with DoubleEndedIterator

dinfuehr · Feb 15, 2025 · 2386bcf · 2386bcf
1 parent 3d2ae98
commit 2386bcf
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 0 deletions.
diff --git a/dora-frontend/src/traitdefck.rs b/dora-frontend/src/traitdefck.rs
@@ -610,4 +610,18 @@ mod tests {
             }
         ");
     }
+
+    #[test]
+    #[ignore]
+    fn assoc_type_of_super_trait() {
+        ok("
+            trait Foo {
+                type Item;
+            }
+
+            trait Bar: Foo {
+                fn f(): Self::Item;
+            }
+        ");
+    }
 }
diff --git a/pkgs/std/traits.dora b/pkgs/std/traits.dora
@@ -169,6 +169,15 @@ pub trait Iterator {
     fn collect[T](): T where T: FromIterator[Self::Item] {
         T::fromIter[Self](self)
     }
+
+    @TraitObjectIgnore
+    fn rev(): Rev[Self] where Self: DoubleEndedIterator {
+        Rev[Self](self)
+    }
+}
+
+pub trait DoubleEndedIterator: Iterator {
+    // fn nextBack(): Option[Self::Item];
 }
 
 pub trait IntoIterator {
@@ -212,6 +221,10 @@ impl[I: Iterator, R] Iterator for Map[I, R] {
     }
 }
 
+pub class Rev[I: Iterator] {
+    it: I,
+}
+
 pub trait FromIterator[A] {
     static fn fromIter[T](iter: T): Self where T: Iterator[Item=A];
 }