diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-29 14:12:03 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-29 14:12:03 -0500 |
| commit | 8d6870717691d2ba46e518c8d1687236019368d1 (patch) | |
| tree | c952c50d84aa3510057f79a404bbc4eeb37666b7 /demo/more/grid.ur | |
| parent | 4489a47a9f033309663b611f04c4e03d5a00dec2 (diff) | |
Rename [Top.id] to avoid clash with [Basis.id]
Diffstat (limited to 'demo/more/grid.ur')
| -rw-r--r-- | demo/more/grid.ur | 6 |
1 files changed, 3 insertions, 3 deletions
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} |