feat(lura-hir): remove debruijin indexes

aripiprazole · Nov 13, 2023 · d6502ac · d6502ac
1 parent c2d1f0a
commit d6502ac
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/lura-hir/src/debruijin.rs b/lura-hir/src/debruijin.rs
@@ -11,12 +11,12 @@ pub struct Level(pub usize);
 
 impl Level {
   /// Transforms a level into a debruijin index.
-  pub fn as_idx(&self, Level(x): Level) -> Index {
-    let Level(l) = *self;
-    assert!(l > x, "l > x, but {l} < {x}");
-    assert!(l > 0, "l should be greater than 0");
-
-    Index(l - x - 1)
+  pub fn as_idx(&self, Level(_): Level) -> Index {
+    let Level(_) = *self;
+    // assert!(l > x, "expected l > x, but {l} < {x}");
+    // assert!(l > 0, "l should be greater than 0");
+    // TODO
+    Index(0)
   }
 }