Mercurial > urweb

comparison src/cjr_print.sml @ 1332:4dd5d23bace2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minHeap option in .urp files
author Adam Chlipala <adam@chlipala.net>
date Sat, 11 Dec 2010 15:16:04 -0500
parents d596c7002ad8
children b106ca8200b1
comparison
equal deleted inserted replaced
1331:a6427d1eda6f 1332:4dd5d23bace2
2832 newline, 2832 newline,
2833 newline, 2833 newline,
2834 2834
2835 box [string "static void uw_setup_limits() {", 2835 box [string "static void uw_setup_limits() {",
2836 newline, 2836 newline,
2837 case Settings.getMinHeap () of
2838 0 => box []
2839 | n => box [string "uw_min_heap",
2840 space,
2841 string "=",
2842 space,
2843 string (Int.toString n),
2844 string ";",
2845 newline,
2846 newline],
2837 box [p_list_sep (box []) (fn (class, num) => 2847 box [p_list_sep (box []) (fn (class, num) =>
2838 let 2848 let
2839 val num = case class of 2849 val num = case class of
2840 "page" => Int.max (2048, num) 2850 "page" => Int.max (2048, num)
2841 | _ => num 2851 | _ => num