Mercurial > urweb

diff src/source_print.sml @ 59:abb2b32c19fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Subsignatures
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 19:10:38 -0400
parents fd8a81ecd598
children 48b6d2c3df46
line wrap: on
line diff
--- a/src/source_print.sml	Sun Jun 22 18:17:21 2008 -0400
+++ b/src/source_print.sml	Sun Jun 22 19:10:38 2008 -0400
@@ -238,6 +238,13 @@
                                 string ":",
                                 space,
                                 p_sgn sgn]
+      | SgiSgn (x, sgn) => box [string "signature",
+                                space,
+                                string x,
+                                space,
+                                string "=",
+                                space,
+                                p_sgn sgn]
       | SgiInclude sgn => box [string "include",
                                space,
                                p_sgn sgn]
@@ -273,6 +280,8 @@
                                      string "=",
                                      space,
                                      p_con c]
+      | SgnProj (m, ms, x) => p_list_sep (string ".") string (m :: ms @ [x])
+                                   
 
 fun p_decl ((d, _) : decl) =
     case d of