Mercurial > urweb

comparison src/expl_env.sml @ 754:8688e01ae469

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents acb8537f58f0
children 0e554bfd6d6a
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
310 let 310 let
311 val t = (CModProj (tn, [], "sql_sequence"), loc) 311 val t = (CModProj (tn, [], "sql_sequence"), loc)
312 in 312 in
313 pushENamed env x n t 313 pushENamed env x n t
314 end 314 end
315 | DView (tn, x, n, _, c) =>
316 let
317 val ct = (CModProj (tn, [], "sql_view"), loc)
318 val ct = (CApp (ct, c), loc)
319 in
320 pushENamed env x n ct
321 end
315 | DDatabase _ => env 322 | DDatabase _ => env
316 | DCookie (tn, x, n, c) => 323 | DCookie (tn, x, n, c) =>
317 let 324 let
318 val t = (CApp ((CModProj (tn, [], "http_cookie"), loc), c), loc) 325 val t = (CApp ((CModProj (tn, [], "http_cookie"), loc), c), loc)
319 in 326 in