Mercurial > urweb

comparison src/mono_print.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 41458a694575
children 7abb28e9d51f
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
258 space, 258 space,
259 p_exp (E.pushERel (E.pushERel env "r" dummyt NONE) "acc" dummyt NONE) body] 259 p_exp (E.pushERel (E.pushERel env "r" dummyt NONE) "acc" dummyt NONE) body]
260 | EDml e => box [string "dml(", 260 | EDml e => box [string "dml(",
261 p_exp env e, 261 p_exp env e,
262 string ")"] 262 string ")"]
263 | ENextval e => box [string "nextval(",
264 p_exp env e,
265 string ")"]
263 266
264 and p_exp env = p_exp' false env 267 and p_exp env = p_exp' false env
265 268
266 fun p_vali env (x, n, t, e, s) = 269 fun p_vali env (x, n, t, e, s) =
267 let 270 let
346 string ":", 349 string ":",
347 space, 350 space,
348 p_typ env t]) xts, 351 p_typ env t]) xts,
349 space, 352 space,
350 string "*)"] 353 string "*)"]
354 | DSequence s => box [string "(* SQL sequence ",
355 string s,
356 string "*)"]
351 | DDatabase s => box [string "database", 357 | DDatabase s => box [string "database",
352 space, 358 space,
353 string s] 359 string s]
354 360
355 fun p_file env file = 361 fun p_file env file =