Mercurial > urweb

comparison src/expl_print.sml @ 1864:1aa9629e3a4c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items
author Adam Chlipala <adam@chlipala.net>
date Mon, 19 Aug 2013 12:25:32 -0400
parents b4480a56cab7
children 403f0cc65b9c
comparison
equal deleted inserted replaced
1863:32784d27b5bc 1864:1aa9629e3a4c
567 string ")", 567 string ")",
568 space, 568 space,
569 string ":", 569 string ":",
570 space, 570 space,
571 p_sgn (E.pushStrNamed env x n sgn) sgn'] 571 p_sgn (E.pushStrNamed env x n sgn) sgn']
572 | SgnWhere (sgn, x, c) => box [p_sgn env sgn, 572 | SgnWhere (sgn, ms, x, c) => box [p_sgn env sgn,
573 space, 573 space,
574 string "where", 574 string "where",
575 space, 575 space,
576 string "con", 576 string "con",
577 space, 577 space,
578 string x, 578 p_list_sep (string ".") string (ms @ [x]),
579 space, 579 space,
580 string "=", 580 string "=",
581 space, 581 space,
582 p_con env c] 582 p_con env c]
583 | SgnProj (m1, ms, x) => 583 | SgnProj (m1, ms, x) =>