Mercurial > urweb

comparison src/core_util.sml @ 1073:b2311dfb3158

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents dfe34fad749d
children 0657e5adc938
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
969 | DCookie (x, n, c, s) => 969 | DCookie (x, n, c, s) =>
970 S.map2 (mfc ctx c, 970 S.map2 (mfc ctx c,
971 fn c' => 971 fn c' =>
972 (DCookie (x, n, c', s), loc)) 972 (DCookie (x, n, c', s), loc))
973 | DStyle _ => S.return2 dAll 973 | DStyle _ => S.return2 dAll
974 | DInitializer e =>
975 S.map2 (mfe ctx e,
976 fn e' =>
977 (DInitializer e', loc))
974 978
975 and mfvi ctx (x, n, t, e, s) = 979 and mfvi ctx (x, n, t, e, s) =
976 S.bind2 (mfc ctx t, 980 S.bind2 (mfc ctx t,
977 fn t' => 981 fn t' =>
978 S.map2 (mfe ctx e, 982 S.map2 (mfe ctx e,
1123 let 1127 let
1124 val t = (CFfi ("Basis", "css_class"), #2 d') 1128 val t = (CFfi ("Basis", "css_class"), #2 d')
1125 in 1129 in
1126 bind (ctx, NamedE (x, n, t, NONE, s)) 1130 bind (ctx, NamedE (x, n, t, NONE, s))
1127 end 1131 end
1132 | DInitializer _ => ctx
1128 in 1133 in
1129 S.map2 (mff ctx' ds', 1134 S.map2 (mff ctx' ds',
1130 fn ds' => 1135 fn ds' =>
1131 d' :: ds') 1136 d' :: ds')
1132 end) 1137 end)
1185 | DTable (_, n, _, _, _, _, _, _) => Int.max (n, count) 1190 | DTable (_, n, _, _, _, _, _, _) => Int.max (n, count)
1186 | DSequence (_, n, _) => Int.max (n, count) 1191 | DSequence (_, n, _) => Int.max (n, count)
1187 | DView (_, n, _, _, _) => Int.max (n, count) 1192 | DView (_, n, _, _, _) => Int.max (n, count)
1188 | DDatabase _ => count 1193 | DDatabase _ => count
1189 | DCookie (_, n, _, _) => Int.max (n, count) 1194 | DCookie (_, n, _, _) => Int.max (n, count)
1190 | DStyle (_, n, _) => Int.max (n, count)) 0 1195 | DStyle (_, n, _) => Int.max (n, count)
1196 | DInitializer _ => count) 0
1191 1197
1192 end 1198 end
1193 1199
1194 end 1200 end