From ce09a3233a44462c262c1751bb805edfc9d83d55 Mon Sep 17 00:00:00 2001 From: adam Date: Sun, 9 Sep 2007 15:06:36 -0400 Subject: [PATCH 1/1] update TODO list darcs-hash:20070909190636-5007d-1d111880d2942e27b3533a9d6566c3391185d9ab.gz --- TODO | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/TODO b/TODO index 8aa7940..d2d930d 100644 --- a/TODO +++ b/TODO @@ -1,16 +1,11 @@ _____________________________________________________________________________ Immediately - - make sure I'm achieving optimal sharing (zipping heads and tails) - - clean up util package - - serializable parse tables? - - all that is required now is to separate Pos and Position - - - currently we GC the doomed stack when the parent dies... but we - should also GC the parent when the doomed stack dies if it was a - positive conjunct. + - currently we GC the doomed stack when the parent dies... but + [ideally] we should also GC the parent when the doomed stack dies + if it was a positive conjunct. - single-tree-return assumption - have a way to let question marks not be tagged? -- 1.7.10.4