Mercurial > urweb

comparison src/mono_print.sml @ 707:d8217b4cb617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PRIMARY KEY
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:14:31 -0400
parents 70cbdcf5989b
children f152f215a02c
comparison
equal deleted inserted replaced
706:1fb318c17546 707:d8217b4cb617
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, e) => box [string "(* SQL table ", 406 | DTable (s, xts, pe, ce) => 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 "constraints", 417 string "keys",
418 space, 418 space,
419 p_exp env e, 419 p_exp env pe,
420 space, 420 space,
421 string "*)"] 421 string "constraints",
422 space,
423 p_exp env ce,
424 space,
425 string "*)"]
422 | DSequence s => box [string "(* SQL sequence ", 426 | DSequence s => box [string "(* SQL sequence ",
423 string s, 427 string s,
424 string "*)"] 428 string "*)"]
425 | DDatabase {name, expunge, initialize} => box [string "database", 429 | DDatabase {name, expunge, initialize} => box [string "database",
426 space, 430 space,