Mercurial > urweb

comparison src/elab_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 9601c717d2f3
children 075b36dbb1a4
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
464 p_named x n, 464 p_named x n,
465 space, 465 space,
466 string ":", 466 string ":",
467 space, 467 space,
468 p_con env c] 468 p_con env c]
469 | SgiSequence (_, x, n) => box [string "sequence",
470 space,
471 p_named x n]
469 | SgiClassAbs (x, n) => box [string "class", 472 | SgiClassAbs (x, n) => box [string "class",
470 space, 473 space,
471 p_named x n] 474 p_named x n]
472 | SgiClass (x, n, c) => box [string "class", 475 | SgiClass (x, n, c) => box [string "class",
473 space, 476 space,
630 p_named x n, 633 p_named x n,
631 space, 634 space,
632 string ":", 635 string ":",
633 space, 636 space,
634 p_con env c] 637 p_con env c]
638 | DSequence (_, x, n) => box [string "sequence",
639 space,
640 p_named x n]
635 | DClass (x, n, c) => box [string "class", 641 | DClass (x, n, c) => box [string "class",
636 space, 642 space,
637 p_named x n, 643 p_named x n,
638 space, 644 space,
639 string "=", 645 string "=",