Mercurial > urweb

comparison src/elab_print.sml @ 2190:22117edf8fd3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
After a tricky debugging session, limit visibility of type-class instances from anonymous modules
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Nov 2015 16:33:14 -0500
parents 403f0cc65b9c
children
comparison
equal deleted inserted replaced
2189:43393a4a66ce 2190:22117edf8fd3
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 "=",