comparison src/cjr_print.sml @ 1360:02fc16faecf3

[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
comparison
equal deleted inserted replaced
1359:e525ad571e15 1360:02fc16faecf3
633 string (Int.toString (size x')), 633 string (Int.toString (size x')),
634 string ") && (request[", 634 string ") && (request[",
635 string (Int.toString (size x')), 635 string (Int.toString (size x')),
636 string "] == 0 || request[", 636 string "] == 0 || request[",
637 string (Int.toString (size x')), 637 string (Int.toString (size x')),
638 string ("] == '/')) ? __uwc_" ^ ident x' ^ "_" ^ Int.toString n), 638 string "] == '/')) ? (request += ",
639 string (Int.toString (size x')),
640 string (", (*request == '/' ? ++request : NULL), __uwc_" ^ ident x' ^ "_" ^ Int.toString n ^ ")"),
639 space, 641 space,
640 string ":", 642 string ":",
641 space, 643 space,
642 doEm rest, 644 doEm rest,
643 string ")"] 645 string ")"]