Mercurial > urweb

comparison src/expl_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
434 p_named x n, 434 p_named x n,
435 space, 435 space,
436 string ":", 436 string ":",
437 space, 437 space,
438 p_con env c] 438 p_con env c]
439 | SgiSequence (_, x, n) => box [string "sequence",
440 space,
441 p_named x n]
439 442
440 and p_sgn env (sgn, loc) = 443 and p_sgn env (sgn, loc) =
441 case sgn of 444 case sgn of
442 SgnConst sgis => box [string "sig", 445 SgnConst sgis => box [string "sig",
443 newline, 446 newline,
582 p_named x n, 585 p_named x n,
583 space, 586 space,
584 string ":", 587 string ":",
585 space, 588 space,
586 p_con env c] 589 p_con env c]
590 | DSequence (_, x, n) => box [string "sequence",
591 space,
592 p_named x n]
587 | DDatabase s => box [string "database", 593 | DDatabase s => box [string "database",
588 space, 594 space,
589 string s] 595 string s]
590 596
591 and p_str env (str, _) = 597 and p_str env (str, _) =