Mercurial > urweb

comparison src/corify.sml @ 720:acb8537f58f0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Stop tracking CSS classes in XML types
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 12:31:54 -0400
parents 5c099b1308ae
children 9864b64b1700
comparison
equal deleted inserted replaced
719:5c099b1308ae 720:acb8537f58f0
921 (L.TRecord _, 921 (L.TRecord _,
922 L.CApp ((L.CModProj (basis, [], "transaction"), _), 922 L.CApp ((L.CModProj (basis, [], "transaction"), _),
923 ran' as 923 ran' as
924 (L.CApp 924 (L.CApp
925 ((L.CApp 925 ((L.CApp
926 ((L.CApp 926 ((L.CApp ((L.CModProj (basis', [], "xml"), _),
927 ((L.CApp ((L.CModProj (basis', [], "xml"), _), 927 (L.CRecord (_, [((L.CName "Html", _),
928 (L.CRecord (_, [((L.CName "Html", _), 928 _)]), _)), _), _),
929 _)]), _)), _), _), 929 _), _), _))) =>
930 _), _), _), _), _))) =>
931 let 930 let
932 val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc) 931 val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc)
933 val ranT = (L.CApp ((L.CModProj (basis, [], "transaction"), loc), 932 val ranT = (L.CApp ((L.CModProj (basis, [], "transaction"), loc),
934 ran), loc) 933 ran), loc)
935 val e = (L.EModProj (m, ms, s), loc) 934 val e = (L.EModProj (m, ms, s), loc)
1001 val (st, n) = St.bindVal st x n 1000 val (st, n) = St.bindVal st x n
1002 val s = doRestify (mods, x) 1001 val s = doRestify (mods, x)
1003 in 1002 in
1004 ([(L'.DCookie (x, n, corifyCon st c, s), loc)], st) 1003 ([(L'.DCookie (x, n, corifyCon st c, s), loc)], st)
1005 end 1004 end
1006 | L.DStyle (_, x, n, c) => 1005 | L.DStyle (_, x, n) =>
1007 let 1006 let
1008 val (st, n) = St.bindVal st x n 1007 val (st, n) = St.bindVal st x n
1009 val s = doRestify (mods, x) 1008 val s = doRestify (mods, x)
1010 in 1009 in
1011 ([(L'.DStyle (x, n, corifyCon st c, s), loc)], st) 1010 ([(L'.DStyle (x, n, s), loc)], st)
1012 end 1011 end
1013 1012
1014 and corifyStr mods ((str, _), st) = 1013 and corifyStr mods ((str, _), st) =
1015 case str of 1014 case str of
1016 L.StrConst ds => 1015 L.StrConst ds =>
1064 | L.DExport _ => n 1063 | L.DExport _ => n
1065 | L.DTable (_, _, n', _, _, _, _, _) => Int.max (n, n') 1064 | L.DTable (_, _, n', _, _, _, _, _) => Int.max (n, n')
1066 | L.DSequence (_, _, n') => Int.max (n, n') 1065 | L.DSequence (_, _, n') => Int.max (n, n')
1067 | L.DDatabase _ => n 1066 | L.DDatabase _ => n
1068 | L.DCookie (_, _, n', _) => Int.max (n, n') 1067 | L.DCookie (_, _, n', _) => Int.max (n, n')
1069 | L.DStyle (_, _, n', _) => Int.max (n, n')) 1068 | L.DStyle (_, _, n') => Int.max (n, n'))
1070 0 ds 1069 0 ds
1071 1070
1072 and maxNameStr (str, _) = 1071 and maxNameStr (str, _) =
1073 case str of 1072 case str of
1074 L.StrConst ds => maxName ds 1073 L.StrConst ds => maxName ds