Mercurial > urweb

comparison src/core_env.sml @ 461:5c9606deacb6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through shake2
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:48:02 -0500
parents bd9ee9aeca2f
children 230654093b51
comparison
equal deleted inserted replaced
460:d34834af4512 461:5c9606deacb6
255 val t = (CFfi ("Basis", "sql_sequence"), loc) 255 val t = (CFfi ("Basis", "sql_sequence"), loc)
256 in 256 in
257 pushENamed env x n t NONE s 257 pushENamed env x n t NONE s
258 end 258 end
259 | DDatabase _ => env 259 | DDatabase _ => env
260 | DCookie (x, n, c, s) =>
261 let
262 val t = (CApp ((CFfi ("Basis", "http_cookie"), loc), c), loc)
263 in
264 pushENamed env x n t NONE s
265 end
260 266
261 fun patBinds env (p, loc) = 267 fun patBinds env (p, loc) =
262 case p of 268 case p of
263 PWild => env 269 PWild => env
264 | PVar (x, t) => pushERel env x t 270 | PVar (x, t) => pushERel env x t