Mercurial > urweb

comparison src/settings.sml @ 1393:802c179dac1f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
alwaysInline .urp setting
author Adam Chlipala <adam@chlipala.net>
date Thu, 13 Jan 2011 18:15:04 -0500
parents 9a721f0722d3
children 82b204f20026
comparison
equal deleted inserted replaced
1392:e305ffee2b5b 1393:802c179dac1f
537 537
538 val minHeap = ref 0 538 val minHeap = ref 0
539 fun setMinHeap n = if n >= 0 then minHeap := n else raise Fail "Trying to set negative minHeap" 539 fun setMinHeap n = if n >= 0 then minHeap := n else raise Fail "Trying to set negative minHeap"
540 fun getMinHeap () = !minHeap 540 fun getMinHeap () = !minHeap
541 541
542 structure SS = BinarySetFn(struct
543 type ord_key = string
544 val compare = String.compare
545 end)
546
547 val alwaysInline = ref SS.empty
548 fun addAlwaysInline s = alwaysInline := SS.add (!alwaysInline, s)
549 fun checkAlwaysInline s = SS.member (!alwaysInline, s)
550
542 end 551 end