Mercurial > urweb

comparison src/core_util.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 acb8537f58f0
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
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) =>
955 S.map2 (mfc ctx c,
956 fn c' =>
957 (DStyle (x, n, c', s), loc))
954 958
955 and mfvi ctx (x, n, t, e, s) = 959 and mfvi ctx (x, n, t, e, s) =
956 S.bind2 (mfc ctx t, 960 S.bind2 (mfc ctx t,
957 fn t' => 961 fn t' =>
958 S.map2 (mfe ctx e, 962 S.map2 (mfe ctx e,
1086 let 1090 let
1087 val t = (CApp ((CFfi ("Basis", "http_cookie"), #2 d'), c), #2 d') 1091 val t = (CApp ((CFfi ("Basis", "http_cookie"), #2 d'), c), #2 d')
1088 in 1092 in
1089 bind (ctx, NamedE (x, n, t, NONE, s)) 1093 bind (ctx, NamedE (x, n, t, NONE, s))
1090 end 1094 end
1095 | DStyle (x, n, c, s) =>
1096 let
1097 val t = (CApp ((CFfi ("Basis", "css_class"), #2 d'), c), #2 d')
1098 in
1099 bind (ctx, NamedE (x, n, t, NONE, s))
1100 end
1091 in 1101 in
1092 S.map2 (mff ctx' ds', 1102 S.map2 (mff ctx' ds',
1093 fn ds' => 1103 fn ds' =>
1094 d' :: ds') 1104 d' :: ds')
1095 end) 1105 end)
1146 | DValRec vis => foldl (fn ((_, n, _, _, _), count) => Int.max (n, count)) count vis 1156 | DValRec vis => foldl (fn ((_, n, _, _, _), count) => Int.max (n, count)) count vis
1147 | DExport _ => count 1157 | DExport _ => count
1148 | DTable (_, n, _, _, _, _, _, _) => Int.max (n, count) 1158 | DTable (_, n, _, _, _, _, _, _) => Int.max (n, count)
1149 | DSequence (_, n, _) => Int.max (n, count) 1159 | DSequence (_, n, _) => Int.max (n, count)
1150 | DDatabase _ => count 1160 | DDatabase _ => count
1151 | DCookie (_, n, _, _) => Int.max (n, count)) 0 1161 | DCookie (_, n, _, _) => Int.max (n, count)
1162 | DStyle (_, n, _, _) => Int.max (n, count)) 0
1152 1163
1153 end 1164 end
1154 1165
1155 end 1166 end