diff demo/more/grid.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 9253765d7724
line wrap: on
line diff
--- a/demo/more/grid.ur	Sun Dec 18 12:00:36 2011 -0500
+++ b/demo/more/grid.ur	Tue Dec 20 19:02:04 2011 -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] [[Body, Tr]]
+          {@mapX2 [fst3] [colMeta M.row] [tr]
             (fn [nm :: Name] [p :: (Type * Type * Type)] [rest :: {(Type * Type * Type)}] [[nm] ~ rest]
                              data (meta : colMeta M.row p) =>
                 <xml><th class={th}>