Mercurial > urweb

comparison src/corify.sml @ 1075:0657e5adc938

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children 72670131dace
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
1062 val s = relify (doRestify Settings.Style (mods, x)) 1062 val s = relify (doRestify Settings.Style (mods, x))
1063 in 1063 in
1064 ([(L'.DStyle (x, n, s), loc)], st) 1064 ([(L'.DStyle (x, n, s), loc)], st)
1065 end 1065 end
1066 1066
1067 | L.DInitializer e => 1067 | L.DTask (e1, e2) =>
1068 ([(L'.DInitializer (corifyExp st e), loc)], st) 1068 ([(L'.DTask (corifyExp st e1, corifyExp st e2), loc)], st)
1069 1069
1070 and corifyStr mods ((str, _), st) = 1070 and corifyStr mods ((str, _), st) =
1071 case str of 1071 case str of
1072 L.StrConst ds => 1072 L.StrConst ds =>
1073 let 1073 let
1122 | L.DSequence (_, _, n') => Int.max (n, n') 1122 | L.DSequence (_, _, n') => Int.max (n, n')
1123 | L.DView (_, _, n', _, _) => Int.max (n, n') 1123 | L.DView (_, _, n', _, _) => Int.max (n, n')
1124 | L.DDatabase _ => n 1124 | L.DDatabase _ => n
1125 | L.DCookie (_, _, n', _) => Int.max (n, n') 1125 | L.DCookie (_, _, n', _) => Int.max (n, n')
1126 | L.DStyle (_, _, n') => Int.max (n, n') 1126 | L.DStyle (_, _, n') => Int.max (n, n')
1127 | L.DInitializer _ => n) 1127 | L.DTask _ => n)
1128 0 ds 1128 0 ds
1129 1129
1130 and maxNameStr (str, _) = 1130 and maxNameStr (str, _) =
1131 case str of 1131 case str of
1132 L.StrConst ds => maxName ds 1132 L.StrConst ds => maxName ds