Mercurial > urweb
comparison src/expl_print.sml @ 1864:1aa9629e3a4c
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) => |