# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1253386563 14400
# Node ID c2fe1dbaceb9cc459fde7ea7f6f2bacf3ed6c9fc
# Parent  e9c5992bc9bcab8c6239e270f1ef1f87c3577b40
Paging + filtering seemingly working, but runtime system isn't GCing signals properly, so performance goes south quickly

diff -r e9c5992bc9bc -r c2fe1dbaceb9 demo/more/dlist.ur
--- a/demo/more/dlist.ur	Sat Sep 19 14:42:36 2009 -0400
+++ b/demo/more/dlist.ur	Sat Sep 19 14:56:03 2009 -0400
@@ -83,15 +83,22 @@
                                        val pos = case prev of
                                                      None => headPos dl
                                                    | Some prev => tailPos prev tl tlTop
-                                       val len = Option.mp (fn n => n - 1) len
                                    in
-                                       <xml><dyn signal={b <- filter v;
-                                                         return (if b then
-                                                                     f v pos
-                                                                 else
-                                                                     <xml/>)}/>
-                                         <dyn signal={tl' <- signal tl;
-                                                      return (render' (Some tl) tl' len)}/></xml>
+                                       <xml>
+                                         <dyn signal={b <- filter v;
+                                                      return <xml>
+                                                        {if b then
+                                                             f v pos
+                                                         else
+                                                             <xml/>}
+                                                        <dyn signal={tl' <- signal tl;
+                                                                     return (render' (Some tl) tl'
+                                                                                     (if b then
+                                                                                          Option.mp (fn n => n - 1) len
+                                                                                      else
+                                                                                          len))}/>
+                                                      </xml>}/>
+                                       </xml>
                                    end
 
                        fun skip pos hd =