# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1292424155 18000
# Node ID 78fe9841c39ddd373d0d27350f03ce44c0b21fd9
# Parent  91eaa1542c5aae2c148fa9699ac6fd0dfb2c7b69
Small tweaks to update demos for record unification change

diff -r 91eaa1542c5a -r 78fe9841c39d demo/batchFun.ur
--- 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}
diff -r 91eaa1542c5a -r 78fe9841c39d demo/more/grid.ur
--- 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}>