Mercurial > urweb

comparison demo/batchFun.ur @ 1342:78fe9841c39d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 d008c4c43a0a
children 68429cfce8db
comparison
equal deleted inserted replaced
1341:91eaa1542c5a 1342:78fe9841c39d
83 </xml> 83 </xml>
84 in 84 in
85 <xml><dyn signal={ls <- signal lss; return <xml><table> 85 <xml><dyn signal={ls <- signal lss; return <xml><table>
86 <tr> 86 <tr>
87 <th>Id</th> 87 <th>Id</th>
88 {@mapX [colMeta] [_] 88 {@mapX [colMeta] [[Body, Tr]]
89 (fn [nm :: Name] [p ::_] [rest ::_] [[nm] ~ rest] m => 89 (fn [nm :: Name] [p ::_] [rest ::_] [[nm] ~ rest] m =>
90 <xml><th>{[m.Nam]}</th></xml>) 90 <xml><th>{[m.Nam]}</th></xml>)
91 M.fl M.cols} 91 M.fl M.cols}
92 </tr> 92 </tr>
93 {show' ls} 93 {show' ls}