Mercurial > urweb

comparison src/expl_env.sml @ 338:e976b187d73a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 73456bfde988
children d34834af4512
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
282 | DStr (x, n, sgn, _) => pushStrNamed env x n sgn 282 | DStr (x, n, sgn, _) => pushStrNamed env x n sgn
283 | DFfiStr (x, n, sgn) => pushStrNamed env x n sgn 283 | DFfiStr (x, n, sgn) => pushStrNamed env x n sgn
284 | DExport _ => env 284 | DExport _ => env
285 | DTable (tn, x, n, c) => 285 | DTable (tn, x, n, c) =>
286 let 286 let
287 val t = (CApp ((CModProj (tn, [], "table"), loc), c), loc) 287 val t = (CApp ((CModProj (tn, [], "sql_table"), loc), c), loc)
288 in
289 pushENamed env x n t
290 end
291 | DSequence (tn, x, n) =>
292 let
293 val t = (CModProj (tn, [], "sql_sequence"), loc)
288 in 294 in
289 pushENamed env x n t 295 pushENamed env x n t
290 end 296 end
291 | DDatabase _ => env 297 | DDatabase _ => env
292 298
335 | SgiSgn (x, n, sgn) => pushSgnNamed env x n sgn 341 | SgiSgn (x, n, sgn) => pushSgnNamed env x n sgn
336 | SgiStr (x, n, sgn) => pushStrNamed env x n sgn 342 | SgiStr (x, n, sgn) => pushStrNamed env x n sgn
337 343
338 | SgiTable (tn, x, n, c) => 344 | SgiTable (tn, x, n, c) =>
339 let 345 let
340 val t = (CApp ((CModProj (tn, [], "table"), loc), c), loc) 346 val t = (CApp ((CModProj (tn, [], "sql_table"), loc), c), loc)
341 in 347 in
342 pushENamed env x n t 348 pushENamed env x n t
343 end 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
344 356
345 end 357 end