Mercurial > urweb

comparison src/source_print.sml @ 1732:4a03aa3251cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial support for reusing elaboration results
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Apr 2012 13:17:31 -0400
parents b4480a56cab7
children bb942416bf1c
comparison
equal deleted inserted replaced
1731:27e731a65934 1732:4a03aa3251cb
567 string x, 567 string x,
568 space, 568 space,
569 string "=", 569 string "=",
570 space, 570 space,
571 p_sgn sgn] 571 p_sgn sgn]
572 | DStr (x, NONE, str) => box [string "structure", 572 | DStr (x, NONE, _, str) => box [string "structure",
573 space,
574 string x,
575 space,
576 string "=",
577 space,
578 p_str str]
579 | DStr (x, SOME sgn, _, str) => box [string "structure",
580 space,
581 string x,
582 space,
583 string ":",
584 space,
585 p_sgn sgn,
586 space,
587 string "=",
588 space,
589 p_str str]
590 | DFfiStr (x, sgn, _) => box [string "extern",
591 space,
592 string "structure",
573 space, 593 space,
574 string x, 594 string x,
575 space, 595 space,
576 string "=", 596 string ":",
577 space, 597 space,
578 p_str str] 598 p_sgn sgn]
579 | DStr (x, SOME sgn, str) => box [string "structure",
580 space,
581 string x,
582 space,
583 string ":",
584 space,
585 p_sgn sgn,
586 space,
587 string "=",
588 space,
589 p_str str]
590 | DFfiStr (x, sgn) => box [string "extern",
591 space,
592 string "structure",
593 space,
594 string x,
595 space,
596 string ":",
597 space,
598 p_sgn sgn]
599 | DOpen (m, ms) => box [string "open", 599 | DOpen (m, ms) => box [string "open",
600 space, 600 space,
601 p_list_sep (string ".") string (m :: ms)] 601 p_list_sep (string ".") string (m :: ms)]
602 | DConstraint (c1, c2) => box [string "constraint", 602 | DConstraint (c1, c2) => box [string "constraint",
603 space, 603 space,