diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-20 19:02:04 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-20 19:02:04 -0500 |
| commit | 8e27e217fa4b6fbf34f588e70036fa7a21df5183 (patch) | |
| tree | 5358ac1a4e610aa945310524d94aa0aeaf8cc3ac /demo/batchFun.ur | |
| parent | f7b9d1cc2d003582e03ad151bfe54f3d5fa51eb7 (diff) | |
Redo HTML context classification, to keep regular <body> tags out of <table> and <tr>
Diffstat (limited to 'demo/batchFun.ur')
| -rw-r--r-- | demo/batchFun.ur | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/batchFun.ur b/demo/batchFun.ur index 2b54a426..d69d68af 100644 --- a/demo/batchFun.ur +++ b/demo/batchFun.ur @@ -85,7 +85,7 @@ functor Make(M : sig <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} |