Mercurial > urweb
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 |