Mercurial > urweb

comparison src/expl_env.sml @ 460:d34834af4512

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through explify
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:43:48 -0500
parents e976b187d73a
children 354800878b4d
comparison
equal deleted inserted replaced
459:f542bc3133dc 460:d34834af4512
293 val t = (CModProj (tn, [], "sql_sequence"), loc) 293 val t = (CModProj (tn, [], "sql_sequence"), loc)
294 in 294 in
295 pushENamed env x n t 295 pushENamed env x n t
296 end 296 end
297 | DDatabase _ => env 297 | DDatabase _ => env
298 | DCookie (tn, x, n, c) =>
299 let
300 val t = (CApp ((CModProj (tn, [], "http_cookie"), loc), c), loc)
301 in
302 pushENamed env x n t
303 end
298 304
299 fun sgiBinds env (sgi, loc) = 305 fun sgiBinds env (sgi, loc) =
300 case sgi of 306 case sgi of
301 SgiConAbs (x, n, k) => pushCNamed env x n k NONE 307 SgiConAbs (x, n, k) => pushCNamed env x n k NONE
302 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c) 308 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c)
339 end 345 end
340 | SgiVal (x, n, t) => pushENamed env x n t 346 | SgiVal (x, n, t) => pushENamed env x n t
341 | SgiSgn (x, n, sgn) => pushSgnNamed env x n sgn 347 | SgiSgn (x, n, sgn) => pushSgnNamed env x n sgn
342 | SgiStr (x, n, sgn) => pushStrNamed env x n sgn 348 | SgiStr (x, n, sgn) => pushStrNamed env x n sgn
343 349
344 | SgiTable (tn, x, n, c) =>
345 let
346 val t = (CApp ((CModProj (tn, [], "sql_table"), loc), c), loc)
347 in
348 pushENamed env x n t
349 end
350 | SgiSequence (tn, x, n) =>
351 let
352 val t = (CModProj (tn, [], "sql_sequence"), loc)
353 in
354 pushENamed env x n t
355 end
356
357 end 350 end