Mercurial > urweb

comparison src/mono_print.sml @ 704:70cbdcf5989b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
UNIQUE constraints
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 12:24:31 -0400
parents 500e93aa436f
children d8217b4cb617
comparison
equal deleted inserted replaced
703:a5d8b470d7ca 704:70cbdcf5989b
401 space, 401 space,
402 string "->", 402 string "->",
403 space, 403 space,
404 p_typ env t] 404 p_typ env t]
405 405
406 | DTable (s, xts) => box [string "(* SQL table ", 406 | DTable (s, xts, e) => box [string "(* SQL table ",
407 string s, 407 string s,
408 space, 408 space,
409 string ":", 409 string ":",
410 space, 410 space,
411 p_list (fn (x, t) => box [string x, 411 p_list (fn (x, t) => box [string x,
412 space, 412 space,
413 string ":", 413 string ":",
414 space, 414 space,
415 p_typ env t]) xts, 415 p_typ env t]) xts,
416 space, 416 space,
417 string "*)"] 417 string "constraints",
418 space,
419 p_exp env e,
420 space,
421 string "*)"]
418 | DSequence s => box [string "(* SQL sequence ", 422 | DSequence s => box [string "(* SQL sequence ",
419 string s, 423 string s,
420 string "*)"] 424 string "*)"]
421 | DDatabase {name, expunge, initialize} => box [string "database", 425 | DDatabase {name, expunge, initialize} => box [string "database",
422 space, 426 space,