Mercurial > urweb
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 |