comparison src/core_env.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents acb8537f58f0
children 61a1f5c5ae2c
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
325 let 325 let
326 val t = (CFfi ("Basis", "sql_sequence"), loc) 326 val t = (CFfi ("Basis", "sql_sequence"), loc)
327 in 327 in
328 pushENamed env x n t NONE s 328 pushENamed env x n t NONE s
329 end 329 end
330 | DView (x, n, s, _, c) =>
331 let
332 val ct = (CFfi ("Basis", "sql_view"), loc)
333 val ct = (CApp (ct, c), loc)
334 in
335 pushENamed env x n ct NONE s
336 end
330 | DDatabase _ => env 337 | DDatabase _ => env
331 | DCookie (x, n, c, s) => 338 | DCookie (x, n, c, s) =>
332 let 339 let
333 val t = (CApp ((CFfi ("Basis", "http_cookie"), loc), c), loc) 340 val t = (CApp ((CFfi ("Basis", "http_cookie"), loc), c), loc)
334 in 341 in