Mercurial > urweb

diff src/cjr_print.sml @ 1104:72670131dace

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Dec 2009 11:41:57 -0500
parents db52c32dbe42
children 631a3597c065
line wrap: on
line diff
--- a/src/cjr_print.sml	Wed Dec 30 09:52:18 2009 -0500
+++ b/src/cjr_print.sml	Thu Dec 31 11:41:57 2009 -0500
@@ -2184,7 +2184,7 @@
                 end
               | _ => NONE
 
-        val fields = foldl (fn ((ek, _, _, ts, _, _), fields) =>
+        val fields = foldl (fn ((ek, _, _, ts, _, _, _), fields) =>
                                case ek of
                                    Link => fields
                                  | Rpc _ => fields
@@ -2480,7 +2480,7 @@
                               newline]
             end
 
-        fun p_page (ek, s, n, ts, ran, side) =
+        fun p_page (ek, s, n, ts, ran, side, tellSig) =
             let
                 val (ts, defInputs, inputsVar, fields) =
                     case ek of
@@ -2612,7 +2612,7 @@
                      string ");",
                      newline,
                      string "uw_set_needs_sig(ctx, ",
-                     string (if couldWrite ek then
+                     string (if tellSig then
                                  "1"
                              else
                                  "0"),