Mercurial > urweb

comparison src/settings.sml @ 1966:b15a4c2cb542

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
neverInline
author Adam Chlipala <adam@chlipala.net>
date Sun, 09 Feb 2014 19:29:36 -0500
parents 3cc14f1e47d1
children b2254554542f
comparison
equal deleted inserted replaced
1963:fec7beec96c7 1966:b15a4c2cb542
686 686
687 val alwaysInline = ref SS.empty 687 val alwaysInline = ref SS.empty
688 fun addAlwaysInline s = alwaysInline := SS.add (!alwaysInline, s) 688 fun addAlwaysInline s = alwaysInline := SS.add (!alwaysInline, s)
689 fun checkAlwaysInline s = SS.member (!alwaysInline, s) 689 fun checkAlwaysInline s = SS.member (!alwaysInline, s)
690 690
691 val neverInline = ref SS.empty
692 fun addNeverInline s = neverInline := SS.add (!neverInline, s)
693 fun checkNeverInline s = SS.member (!neverInline, s)
694
691 val noXsrfProtection = ref SS.empty 695 val noXsrfProtection = ref SS.empty
692 fun addNoXsrfProtection s = noXsrfProtection := SS.add (!noXsrfProtection, s) 696 fun addNoXsrfProtection s = noXsrfProtection := SS.add (!noXsrfProtection, s)
693 fun checkNoXsrfProtection s = SS.member (!noXsrfProtection, s) 697 fun checkNoXsrfProtection s = SS.member (!noXsrfProtection, s)
694 698
695 val timeFormat = ref "%c" 699 val timeFormat = ref "%c"