Merge pull request #474 from mvaled/master

Remove unused StackIndex from chalk-engine.

Author: jackh726

chalk-engine/src/lib.rs

@@ -83,16 +83,6 @@ index_struct! {
     }
 }
 
-index_struct! {
-    /// The StackIndex identifies the position of a table's goal in the
-    /// stack of goals that are actively being processed. Note that once a
-    /// table is completely evaluated, it may be popped from the stack,
-    /// and hence no longer have a stack index.
-    struct StackIndex {
-        value: usize,
-    }
-}
-
 /// The paper describes these as `A :- D | G`.
 #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)]
 pub struct ExClause<I: Interner> {