Mercurial > urweb

comparison src/elab_print.sml @ 2280:985c8016b592

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge.
author Ziv Scully <ziv@mit.edu>
date Thu, 12 Nov 2015 08:46:51 -0500
parents 22117edf8fd3
children
comparison
equal deleted inserted replaced
2279:32a407902d3b 2280:985c8016b592
609 p_named x n, 609 p_named x n,
610 space, 610 space,
611 string ":", 611 string ":",
612 space, 612 space,
613 p_con env c] 613 p_con env c]
614 | SgiStr (x, n, sgn) => box [string "structure", 614 | SgiStr (_, x, n, sgn) => box [string "structure",
615 space, 615 space,
616 p_named x n, 616 p_named x n,
617 space, 617 space,
618 string ":", 618 string ":",
619 space, 619 space,
620 p_sgn env sgn] 620 p_sgn env sgn]
621 | SgiSgn (x, n, sgn) => box [string "signature", 621 | SgiSgn (x, n, sgn) => box [string "signature",
622 space, 622 space,
623 p_named x n, 623 p_named x n,
624 space, 624 space,
625 string "=", 625 string "=",