comparison src/settings.sig @ 1183:9d3ccb8b39ac

safeGet
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Mar 2010 18:28:44 -0500
parents 7a2a7a8f9cab
children 134da5110bf7
comparison
equal deleted inserted replaced
1182:0b1d666bddb4 1183:9d3ccb8b39ac
196 val getDeadlines : unit -> bool 196 val getDeadlines : unit -> bool
197 197
198 val setSigFile : string option -> unit 198 val setSigFile : string option -> unit
199 val getSigFile : unit -> string option 199 val getSigFile : unit -> string option
200 200
201 (* Which GET-able functions should be allowed to have side effects? *)
202 val setSafeGets : string list -> unit
203 val isSafeGet : string -> bool
204
201 end 205 end