Mercurial > urweb

comparison src/core_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 4260ad920c36
children 075b36dbb1a4
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
456 string s, 456 string s,
457 space, 457 space,
458 string ":", 458 string ":",
459 space, 459 space,
460 p_con env c] 460 p_con env c]
461 | DSequence (x, n, s) => box [string "sequence",
462 space,
463 p_named x n,
464 space,
465 string "as",
466 space,
467 string s]
461 | DDatabase s => box [string "database", 468 | DDatabase s => box [string "database",
462 space, 469 space,
463 string s] 470 string s]
464 471
465 fun p_file env file = 472 fun p_file env file =