Mercurial > urweb

diff src/settings.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 0d8bd8ae8417
children 74d35d9a5d16
line wrap: on
line diff
--- a/src/settings.sml	Sat Dec 11 13:42:54 2010 -0500
+++ b/src/settings.sml	Sat Dec 11 15:16:04 2010 -0500
@@ -509,4 +509,8 @@
         raise Fail ("Unknown limit category '" ^ name ^ "'")
 fun limits () = !limitsList
 
+val minHeap = ref 0
+fun setMinHeap n = if n >= 0 then minHeap := n else raise Fail "Trying to set negative minHeap"
+fun getMinHeap () = !minHeap
+
 end