diff demo/batchFun.ur @ 1641:68429cfce8db

Redo HTML context classification, to keep regular <body> tags out of <table> and <tr>
author Adam Chlipala <adam@chlipala.net>
date Tue, 20 Dec 2011 19:02:04 -0500
parents 78fe9841c39d
children 6bc2a8cb3a67
line wrap: on
line diff
--- a/demo/batchFun.ur	Sun Dec 18 12:00:36 2011 -0500
+++ b/demo/batchFun.ur	Tue Dec 20 19:02:04 2011 -0500
@@ -85,7 +85,7 @@
             <xml><dyn signal={ls <- signal lss; return <xml><table>
               <tr>
                 <th>Id</th>
-                {@mapX [colMeta] [[Body, Tr]]
+                {@mapX [colMeta] [tr]
                   (fn [nm :: Name] [p ::_] [rest ::_] [[nm] ~ rest] m =>
                       <xml><th>{[m.Nam]}</th></xml>)
                   M.fl M.cols}