Mercurial > urweb

comparison src/core_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 e6706a1df013
children f152f215a02c
comparison
equal deleted inserted replaced
706:1fb318c17546 707:d8217b4cb617
544 space, 544 space,
545 string "as", 545 string "as",
546 space, 546 space,
547 (p_con env (#2 (E.lookupENamed env n)) 547 (p_con env (#2 (E.lookupENamed env n))
548 handle E.UnboundNamed _ => string "UNBOUND")] 548 handle E.UnboundNamed _ => string "UNBOUND")]
549 | DTable (x, n, c, s, e, _) => box [string "table", 549 | DTable (x, n, c, s, pe, _, ce, _) => box [string "table",
550 space, 550 space,
551 p_named x n, 551 p_named x n,
552 space, 552 space,
553 string "as", 553 string "as",
554 space, 554 space,
555 string s, 555 string s,
556 space, 556 space,
557 string ":", 557 string ":",
558 space, 558 space,
559 p_con env c, 559 p_con env c,
560 space, 560 space,
561 string "constraints", 561 string "keys",
562 space, 562 space,
563 p_exp env e] 563 p_exp env pe,
564 space,
565 string "constraints",
566 space,
567 p_exp env ce]
564 | DSequence (x, n, s) => box [string "sequence", 568 | DSequence (x, n, s) => box [string "sequence",
565 space, 569 space,
566 p_named x n, 570 p_named x n,
567 space, 571 space,
568 string "as", 572 string "as",