Mercurial > urweb

comparison src/monoize.sml @ 803:152b61b2901a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Catch more unclosed bodyless tags in Monoize
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 12:47:01 -0400
parents ef6de4075dc1
children 61a1f5c5ae2c
comparison
equal deleted inserted replaced
802:ef6de4075dc1 803:152b61b2901a
2794 val sigSet = (L'.EStrcat ((L'.EPrim (Prim.String ("<input type=\"hidden\" name=\"" 2794 val sigSet = (L'.EStrcat ((L'.EPrim (Prim.String ("<input type=\"hidden\" name=\""
2795 ^ sigName 2795 ^ sigName
2796 ^ "\" value=\"")), loc), 2796 ^ "\" value=\"")), loc),
2797 sigSet), loc) 2797 sigSet), loc)
2798 val sigSet = (L'.EStrcat (sigSet, 2798 val sigSet = (L'.EStrcat (sigSet,
2799 (L'.EPrim (Prim.String "\">"), loc)), loc) 2799 (L'.EPrim (Prim.String "\" />"), loc)), loc)
2800 in 2800 in
2801 (L'.EStrcat (sigSet, xml), loc) 2801 (L'.EStrcat (sigSet, xml), loc)
2802 end 2802 end
2803 else 2803 else
2804 xml 2804 xml
2824 let 2824 let
2825 val s = (L'.TFfi ("Basis", "string"), loc) 2825 val s = (L'.TFfi ("Basis", "string"), loc)
2826 in 2826 in
2827 ((L'.EAbs ("xml", s, s, 2827 ((L'.EAbs ("xml", s, s,
2828 strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".b\" value=\"" 2828 strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".b\" value=\""
2829 ^ nm ^ "\">")), loc), 2829 ^ nm ^ "\" />")), loc),
2830 (L'.ERel 0, loc), 2830 (L'.ERel 0, loc),
2831 (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\">")), loc)]), 2831 (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\" />")), loc)]),
2832 loc), 2832 loc),
2833 fm) 2833 fm)
2834 end 2834 end
2835 2835
2836 | L.ECApp ((L.ECApp ((L.ECApp ((L.ECApp ( 2836 | L.ECApp ((L.ECApp ((L.ECApp ((L.ECApp (
2839 let 2839 let
2840 val s = (L'.TFfi ("Basis", "string"), loc) 2840 val s = (L'.TFfi ("Basis", "string"), loc)
2841 in 2841 in
2842 ((L'.EAbs ("xml", s, s, 2842 ((L'.EAbs ("xml", s, s,
2843 strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".s\" value=\"" 2843 strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".s\" value=\""
2844 ^ nm ^ "\">")), loc), 2844 ^ nm ^ "\" />")), loc),
2845 (L'.ERel 0, loc), 2845 (L'.ERel 0, loc),
2846 (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\">")), loc)]), 2846 (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\" />")), loc)]),
2847 loc), 2847 loc),
2848 fm) 2848 fm)
2849 end 2849 end
2850 2850
2851 | L.ECApp ((L.ECApp ( 2851 | L.ECApp ((L.ECApp (
2852 (L.EFfi ("Basis", "entry"), _), _), _), _) => 2852 (L.EFfi ("Basis", "entry"), _), _), _), _) =>
2853 let 2853 let
2854 val s = (L'.TFfi ("Basis", "string"), loc) 2854 val s = (L'.TFfi ("Basis", "string"), loc)
2855 in 2855 in
2856 ((L'.EAbs ("xml", s, s, 2856 ((L'.EAbs ("xml", s, s,
2857 strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".i\" value=\"1\">")), loc), 2857 strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".i\" value=\"1\" />")), loc),
2858 (L'.ERel 0, loc), 2858 (L'.ERel 0, loc),
2859 (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\">")), loc)]), 2859 (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\" />")), loc)]),
2860 loc), 2860 loc),
2861 fm) 2861 fm)
2862 end 2862 end
2863 2863
2864 | L.EApp ((L.ECApp ( 2864 | L.EApp ((L.ECApp (