Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1331:a6427d1eda6f 1332:4dd5d23bace2
507 ()) 507 ())
508 else 508 else
509 raise Fail ("Unknown limit category '" ^ name ^ "'") 509 raise Fail ("Unknown limit category '" ^ name ^ "'")
510 fun limits () = !limitsList 510 fun limits () = !limitsList
511 511
512 val minHeap = ref 0
513 fun setMinHeap n = if n >= 0 then minHeap := n else raise Fail "Trying to set negative minHeap"
514 fun getMinHeap () = !minHeap
515
512 end 516 end