summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-08-06 14:57:44 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-08-06 14:57:44 -0400
commit38dade494489b5d093cc9bb8f7542de1324f2d55 (patch)
treeff9050728832ba4cd3278e6d80a4c9b9b90a2f01 /src
parent8e40f70890e42ca4ebf9ae070712798ecdc217f0 (diff)
<dyn> inside <tr>
Diffstat (limited to 'src')
-rw-r--r--src/monoize.sml14
1 files changed, 8 insertions, 6 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index bd666edf..d774c697 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -2645,13 +2645,15 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
| "dyn" =>
let
- val inTable = case targs of
- (L.CRecord (_, ctx), _) :: _ =>
- List.exists (fn ((L.CName "Table", _), _) => true
- | _ => false) ctx
- | _ => false
+ fun inTag tag = case targs of
+ (L.CRecord (_, ctx), _) :: _ =>
+ List.exists (fn ((L.CName tag', _), _) => tag' = tag
+ | _ => false) ctx
+ | _ => false
- val tag = if inTable then
+ val tag = if inTag "Tr" then
+ "tr"
+ else if inTag "Table" then
"table"
else
"span"