From: Tim Vieira Date: Wed, 17 Jul 2013 21:54:51 +0000 (-0400) Subject: () X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=b7424619fea7317785192eb8b588f2d3e7a1af9c;p=dyna2 () --- diff --git a/test/repl/retract-bc-2.dynadoc b/test/repl/retract-bc-2.dynadoc index c5fa45e..0e7d6d5 100644 --- a/test/repl/retract-bc-2.dynadoc +++ b/test/repl/retract-bc-2.dynadoc @@ -48,9 +48,8 @@ c(3) = null. c(4) = null. c(5) = null. -% as in `retract-bc.dynadoc`, `a(X)` did not change even tho it ought to. The -% `c(X)` values get blasted because the don't have an oblivious memoized item -% inbetween like `h(X)`. +% TODO (bug): `a(X)` did not change even tho it ought to. The `c(X)` values get +% blasted because the don't have an obliviously memoized item inbetween, `h(X)`. > b(X) = h(X) for X in range(6).