From 8ba030d9f3ca612405f36db1fc6b1fbaa08448b2 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 19 Sep 2009 14:56:03 -0400
Subject: Paging + filtering seemingly working, but runtime system isn't GCing
 signals properly, so performance goes south quickly

---
 demo/more/dlist.ur | 23 +++++++++++++++--------
 1 file changed, 15 insertions(+), 8 deletions(-)

(limited to 'demo')

diff --git a/demo/more/dlist.ur b/demo/more/dlist.ur
index 277f1219..1e5b8020 100644
--- a/demo/more/dlist.ur
+++ b/demo/more/dlist.ur
@@ -83,15 +83,22 @@ fun renderDyn [ctx] [ctx ~ body] [t] (f : t -> position -> xml (ctx ++ body) []
                                        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 =
-- 
cgit v1.2.3