Skip to content

Commit 294a73c

Browse files
committed
Remove unused StackIndex from chalk-engine.
1 parent 80c17b8 commit 294a73c

File tree

1 file changed

+0
-10
lines changed

1 file changed

+0
-10
lines changed

chalk-engine/src/lib.rs

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -77,16 +77,6 @@ index_struct! {
7777
}
7878
}
7979

80-
index_struct! {
81-
/// The StackIndex identifies the position of a table's goal in the
82-
/// stack of goals that are actively being processed. Note that once a
83-
/// table is completely evaluated, it may be popped from the stack,
84-
/// and hence no longer have a stack index.
85-
struct StackIndex {
86-
value: usize,
87-
}
88-
}
89-
9080
/// The paper describes these as `A :- D | G`.
9181
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
9282
pub struct ExClause<C: Context> {

0 commit comments

Comments
 (0)