Mercurial > urweb

comparison src/source_print.sml @ 754:8688e01ae469

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents acb8537f58f0
children e2780d2f4afc
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
619 space, 619 space,
620 p_exp ce] 620 p_exp ce]
621 | DSequence x => box [string "sequence", 621 | DSequence x => box [string "sequence",
622 space, 622 space,
623 string x] 623 string x]
624 | DView (x, e) => box [string "view",
625 space,
626 string x,
627 space,
628 string "=",
629 space,
630 p_exp e]
624 | DClass (x, k, c) => box [string "class", 631 | DClass (x, k, c) => box [string "class",
625 space, 632 space,
626 string x, 633 string x,
627 space, 634 space,
628 string "=", 635 string "=",