Mercurial > urweb
changeset 1342:78fe9841c39d
Small tweaks to update demos for record unification change
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 15 Dec 2010 09:42:35 -0500 |
| parents | 91eaa1542c5a |
| children | 0a2b630f2463 |
| files | demo/batchFun.ur demo/more/grid.ur |
| diffstat | 2 files changed, 2 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/demo/batchFun.ur Wed Dec 15 09:37:36 2010 -0500 +++ b/demo/batchFun.ur Wed Dec 15 09:42:35 2010 -0500 @@ -85,7 +85,7 @@ <xml><dyn signal={ls <- signal lss; return <xml><table> <tr> <th>Id</th> - {@mapX [colMeta] [_] + {@mapX [colMeta] [[Body, Tr]] (fn [nm :: Name] [p ::_] [rest ::_] [[nm] ~ rest] m => <xml><th>{[m.Nam]}</th></xml>) M.fl M.cols}
--- a/demo/more/grid.ur Wed Dec 15 09:37:36 2010 -0500 +++ b/demo/more/grid.ur Wed Dec 15 09:42:35 2010 -0500 @@ -125,7 +125,7 @@ <table class={tabl}> <tr class={tr}> <th/> <th/> <th><button value="No sort" onclick={set grid.Sort None}/></th> - {@mapX2 [fst3] [colMeta M.row] [_] + {@mapX2 [fst3] [colMeta M.row] [[Body, Tr]] (fn [nm :: Name] [p :: (Type * Type * Type)] [rest :: {(Type * Type * Type)}] [[nm] ~ rest] data (meta : colMeta M.row p) => <xml><th class={th}>