Mercurial > urweb

diff 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
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}