From 8d6870717691d2ba46e518c8d1687236019368d1 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 29 Dec 2011 14:12:03 -0500
Subject: Rename [Top.id] to avoid clash with [Basis.id]

---
 demo/more/grid.ur | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'demo/more/grid.ur')

diff --git a/demo/more/grid.ur b/demo/more/grid.ur
index dd0cb813..a281bab7 100644
--- a/demo/more/grid.ur
+++ b/demo/more/grid.ur
@@ -253,17 +253,17 @@ functor Make(M : sig
                       grid.Rows}
 
             <dyn signal={rows <- Dlist.foldl (fn row : listT =>
-                                                 @Monad.mapR2 _ [aggregateMeta M.row] [id] [id]
+                                                 @Monad.mapR2 _ [aggregateMeta M.row] [ident] [ident]
                                                   (fn [nm :: Name] [t :: Type] meta acc =>
                                                       Monad.mp (fn v => meta.Step v acc)
                                                                (signal row.Row))
                                                   M.aggFolder M.aggregates)
-                                 (@mp [aggregateMeta M.row] [id]
+                                 (@mp [aggregateMeta M.row] [ident]
                                   (fn [t] meta => meta.Initial)
                                   M.aggFolder M.aggregates) grid.Rows;
                          return <xml><tr>
                            <th colspan={3}>Aggregates</th>
-                           {@mapX2 [aggregateMeta M.row] [id] [_]
+                           {@mapX2 [aggregateMeta M.row] [ident] [_]
                              (fn [nm :: Name] [t :: Type] [rest :: {Type}] [[nm] ~ rest] meta acc =>
                                  <xml><td class={agg}>{meta.Display acc}</td></xml>)
                              M.aggFolder M.aggregates rows}
-- 
cgit v1.2.3