Mercurial > urweb

diff src/settings.sig @ 1183:9d3ccb8b39ac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
safeGet
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Mar 2010 18:28:44 -0500
parents 7a2a7a8f9cab
children 134da5110bf7
line wrap: on
line diff
--- a/src/settings.sig	Tue Mar 09 17:50:42 2010 -0500
+++ b/src/settings.sig	Tue Mar 09 18:28:44 2010 -0500
@@ -198,4 +198,8 @@
     val setSigFile : string option -> unit
     val getSigFile : unit -> string option
 
+    (* Which GET-able functions should be allowed to have side effects? *)
+    val setSafeGets : string list -> unit
+    val isSafeGet : string -> bool
+
 end