remove finished TODO

This commit is contained in:
Mark Thom
2017-08-15 12:11:58 -06:00
parent caf740b9cd
commit e944641d56

View File

@@ -12,12 +12,6 @@ pub trait CopierTarget
fn deref(&self, Addr) -> Addr;
fn stack(&mut self) -> &mut AndStack;
//TODO: extend this so include a boundary() function which is constant!!
// this will return self.h. the threshold() will be used to set the addresses
// contained within the terms so that the offsets match those of the heap
// to be truncated by BLOCK, ie. starting at the BLOCK.H value. This should
// allow us to get around the latest bug.
// duplicate_term(L1, L2) uses Cheney's algorithm to copy the term at
// L1 to L2. forwarding_terms is kept to restore the innards of L1
// after it's been copied to L2.