diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-08-06 14:57:44 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-08-06 14:57:44 -0400 |
commit | 38dade494489b5d093cc9bb8f7542de1324f2d55 (patch) | |
tree | ff9050728832ba4cd3278e6d80a4c9b9b90a2f01 /src | |
parent | 8e40f70890e42ca4ebf9ae070712798ecdc217f0 (diff) |
<dyn> inside <tr>
Diffstat (limited to 'src')
-rw-r--r-- | src/monoize.sml | 14 |
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" |