From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 28 Dec 2022 04:29:29 +0000 (-0700)
Subject: delete ChunkedTerm, chunked iteration
X-Git-Tag: v0.9.2~123^2~32
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c4783062ff14bb8f402b09bbaca96aacb612a98c;p=scryer-prolog.git

delete ChunkedTerm, chunked iteration
---

diff --git a/src/iterators.rs b/src/iterators.rs
index 8750fe87..eac1b185 100644
--- a/src/iterators.rs
+++ b/src/iterators.rs
@@ -424,6 +424,7 @@ pub(crate) fn breadth_first_iter<'a>(term: &'a Term, iterable_root: bool) -> Fac
     FactIterator::new(term, iterable_root)
 }
 
+/*
 #[derive(Debug)]
 pub(crate) enum ChunkedTerm<'a> {
     HeadClause(Atom, &'a Vec<Term>),
@@ -563,3 +564,4 @@ impl<'a> Iterator for ChunkedIterator<'a> {
         self.iter.next().map(|term| self.take_chunk(term))
     }
 }
+*/