Mercurial > urweb

comparison src/corify.sml @ 718:f152f215a02c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents d8217b4cb617
children 5c099b1308ae
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
1000 val (st, n) = St.bindVal st x n 1000 val (st, n) = St.bindVal st x n
1001 val s = doRestify (mods, x) 1001 val s = doRestify (mods, x)
1002 in 1002 in
1003 ([(L'.DCookie (x, n, corifyCon st c, s), loc)], st) 1003 ([(L'.DCookie (x, n, corifyCon st c, s), loc)], st)
1004 end 1004 end
1005 | L.DStyle (_, x, n, c) =>
1006 let
1007 val (st, n) = St.bindVal st x n
1008 val s = doRestify (mods, x)
1009 in
1010 ([(L'.DStyle (x, n, corifyCon st c, s), loc)], st)
1011 end
1005 1012
1006 and corifyStr mods ((str, _), st) = 1013 and corifyStr mods ((str, _), st) =
1007 case str of 1014 case str of
1008 L.StrConst ds => 1015 L.StrConst ds =>
1009 let 1016 let
1055 | L.DFfiStr (_, n', _) => Int.max (n, n') 1062 | L.DFfiStr (_, n', _) => Int.max (n, n')
1056 | L.DExport _ => n 1063 | L.DExport _ => n
1057 | L.DTable (_, _, n', _, _, _, _, _) => Int.max (n, n') 1064 | L.DTable (_, _, n', _, _, _, _, _) => Int.max (n, n')
1058 | L.DSequence (_, _, n') => Int.max (n, n') 1065 | L.DSequence (_, _, n') => Int.max (n, n')
1059 | L.DDatabase _ => n 1066 | L.DDatabase _ => n
1060 | L.DCookie (_, _, n', _) => Int.max (n, n')) 1067 | L.DCookie (_, _, n', _) => Int.max (n, n')
1068 | L.DStyle (_, _, n', _) => Int.max (n, n'))
1061 0 ds 1069 0 ds
1062 1070
1063 and maxNameStr (str, _) = 1071 and maxNameStr (str, _) =
1064 case str of 1072 case str of
1065 L.StrConst ds => maxName ds 1073 L.StrConst ds => maxName ds