Mercurial > urweb

comparison src/source_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 bb942416bf1c
children d6b0ee53dc93
comparison
equal deleted inserted replaced
1863:32784d27b5bc 1864:1aa9629e3a4c
503 string ")", 503 string ")",
504 space, 504 space,
505 string ":", 505 string ":",
506 space, 506 space,
507 p_sgn sgn'] 507 p_sgn sgn']
508 | SgnWhere (sgn, x, c) => box [p_sgn sgn, 508 | SgnWhere (sgn, ms, x, c) => box [p_sgn sgn,
509 space, 509 space,
510 string "where", 510 string "where",
511 space, 511 space,
512 string "con", 512 string "con",
513 space, 513 space,
514 string x, 514 p_list_sep (string ".")
515 space, 515 string (ms @ [x]),
516 string "=", 516 string x,
517 space, 517 space,
518 p_con c] 518 string "=",
519 space,
520 p_con c]
519 | SgnProj (m, ms, x) => p_list_sep (string ".") string (m :: ms @ [x]) 521 | SgnProj (m, ms, x) => p_list_sep (string ".") string (m :: ms @ [x])
520 522
521 523
522 524
523 fun p_decl ((d, _) : decl) = 525 fun p_decl ((d, _) : decl) =