Mercurial > urweb

comparison src/core_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 e21d0dddda09
children e0e9e9eca1cb
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
215 | DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s 215 | DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s
216 | DValRec vis => foldl (fn ((x, n, t, e, s), env) => pushENamed env x n t NONE s) env vis 216 | DValRec vis => foldl (fn ((x, n, t, e, s), env) => pushENamed env x n t NONE s) env vis
217 | DExport _ => env 217 | DExport _ => env
218 | DTable (x, n, c, s) => 218 | DTable (x, n, c, s) =>
219 let 219 let
220 val t = (CApp ((CFfi ("Basis", "table"), loc), c), loc) 220 val t = (CApp ((CFfi ("Basis", "sql_table"), loc), c), loc)
221 in
222 pushENamed env x n t NONE s
223 end
224 | DSequence (x, n, s) =>
225 let
226 val t = (CFfi ("Basis", "sql_sequence"), loc)
221 in 227 in
222 pushENamed env x n t NONE s 228 pushENamed env x n t NONE s
223 end 229 end
224 | DDatabase _ => env 230 | DDatabase _ => env
225 231