Mercurial > urweb

comparison src/core_util.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 f152f215a02c
children 8688e01ae469
comparison
equal deleted inserted replaced
719:5c099b1308ae 720:acb8537f58f0
949 | DDatabase _ => S.return2 dAll 949 | DDatabase _ => S.return2 dAll
950 | DCookie (x, n, c, s) => 950 | DCookie (x, n, c, s) =>
951 S.map2 (mfc ctx c, 951 S.map2 (mfc ctx c,
952 fn c' => 952 fn c' =>
953 (DCookie (x, n, c', s), loc)) 953 (DCookie (x, n, c', s), loc))
954 | DStyle (x, n, c, s) => 954 | DStyle _ => S.return2 dAll
955 S.map2 (mfc ctx c,
956 fn c' =>
957 (DStyle (x, n, c', s), loc))
958 955
959 and mfvi ctx (x, n, t, e, s) = 956 and mfvi ctx (x, n, t, e, s) =
960 S.bind2 (mfc ctx t, 957 S.bind2 (mfc ctx t,
961 fn t' => 958 fn t' =>
962 S.map2 (mfe ctx e, 959 S.map2 (mfe ctx e,
1090 let 1087 let
1091 val t = (CApp ((CFfi ("Basis", "http_cookie"), #2 d'), c), #2 d') 1088 val t = (CApp ((CFfi ("Basis", "http_cookie"), #2 d'), c), #2 d')
1092 in 1089 in
1093 bind (ctx, NamedE (x, n, t, NONE, s)) 1090 bind (ctx, NamedE (x, n, t, NONE, s))
1094 end 1091 end
1095 | DStyle (x, n, c, s) => 1092 | DStyle (x, n, s) =>
1096 let 1093 let
1097 val t = (CApp ((CFfi ("Basis", "css_class"), #2 d'), c), #2 d') 1094 val t = (CFfi ("Basis", "css_class"), #2 d')
1098 in 1095 in
1099 bind (ctx, NamedE (x, n, t, NONE, s)) 1096 bind (ctx, NamedE (x, n, t, NONE, s))
1100 end 1097 end
1101 in 1098 in
1102 S.map2 (mff ctx' ds', 1099 S.map2 (mff ctx' ds',
1157 | DExport _ => count 1154 | DExport _ => count
1158 | DTable (_, n, _, _, _, _, _, _) => Int.max (n, count) 1155 | DTable (_, n, _, _, _, _, _, _) => Int.max (n, count)
1159 | DSequence (_, n, _) => Int.max (n, count) 1156 | DSequence (_, n, _) => Int.max (n, count)
1160 | DDatabase _ => count 1157 | DDatabase _ => count
1161 | DCookie (_, n, _, _) => Int.max (n, count) 1158 | DCookie (_, n, _, _) => Int.max (n, count)
1162 | DStyle (_, n, _, _) => Int.max (n, count)) 0 1159 | DStyle (_, n, _) => Int.max (n, count)) 0
1163 1160
1164 end 1161 end
1165 1162
1166 end 1163 end