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 | b9ee5542842289bbdaf49ea04ea5f9fc08191ac2 (patch) | |
| tree | ff9050728832ba4cd3278e6d80a4c9b9b90a2f01 /src/monoize.sml | |
| parent | 1d6456fbf525b34cdf91fe8de305b398171109ee (diff) | |
<dyn> inside <tr>
Diffstat (limited to 'src/monoize.sml')
| -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" |