comparison src/monoize.sml @ 903:63114a2e5075

<dyn> inside <tr>
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Aug 2009 14:57:44 -0400
parents f17638dd3080
children 7a4b026e45dd
comparison
equal deleted inserted replaced
902:4b9f1de2c647 903:63114a2e5075
2643 SOME (L.EFfiApp ("Basis", "get_script", [(L.ERecord [], loc)]), loc)) 2643 SOME (L.EFfiApp ("Basis", "get_script", [(L.ERecord [], loc)]), loc))
2644 end 2644 end
2645 2645
2646 | "dyn" => 2646 | "dyn" =>
2647 let 2647 let
2648 val inTable = case targs of 2648 fun inTag tag = case targs of
2649 (L.CRecord (_, ctx), _) :: _ => 2649 (L.CRecord (_, ctx), _) :: _ =>
2650 List.exists (fn ((L.CName "Table", _), _) => true 2650 List.exists (fn ((L.CName tag', _), _) => tag' = tag
2651 | _ => false) ctx 2651 | _ => false) ctx
2652 | _ => false 2652 | _ => false
2653 2653
2654 val tag = if inTable then 2654 val tag = if inTag "Tr" then
2655 "tr"
2656 else if inTag "Table" then
2655 "table" 2657 "table"
2656 else 2658 else
2657 "span" 2659 "span"
2658 in 2660 in
2659 case attrs of 2661 case attrs of