Mercurial > urweb

diff src/cjr_print.sml @ 115:ff13d390ec60

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cjr ready for dispatch code generation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:56:39 -0400
parents 813e5a52063d
children c5d7ce9ddd57
line wrap: on
line diff
--- a/src/cjr_print.sml	Sun Jul 13 12:51:58 2008 -0400
+++ b/src/cjr_print.sml	Sun Jul 13 12:56:39 2008 -0400
@@ -173,8 +173,12 @@
                  string "}"]
         end
 
-fun p_page env n = box [p_enamed env n,
-                        string "(lw_unit_v);"]
+fun p_page env (s, n) =
+    box [string "/* ",
+         string s,
+         string " */ ",
+         p_enamed env n,
+         string "(lw_unit_v);"]
 
 fun p_file env (ds, ps) =
     let