Mercurial > urweb

diff src/cjr_print.sml @ 1360:02fc16faecf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 17:46:40 -0500
parents 87156c44824f
children 44a12a321150
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Dec 23 11:23:31 2010 -0500
+++ b/src/cjr_print.sml	Thu Dec 23 17:46:40 2010 -0500
@@ -635,7 +635,9 @@
                                  string (Int.toString (size x')),
                                  string "] == 0 || request[",
                                  string (Int.toString (size x')),
-                                 string ("] == '/')) ? __uwc_" ^ ident x' ^ "_" ^ Int.toString n),
+                                 string "] == '/')) ? (request += ",
+                                 string (Int.toString (size x')),
+                                 string (", (*request == '/' ? ++request : NULL), __uwc_" ^ ident x' ^ "_" ^ Int.toString n ^ ")"),
                                  space,
                                  string ":",
                                  space,