Mercurial > urweb

comparison src/settings.sig @ 2010:403f0cc65b9c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New lessSafeFfi
author Adam Chlipala <adam@chlipala.net>
date Fri, 02 May 2014 19:19:09 -0400
parents b15a4c2cb542
children ced78ef1c82f
comparison
equal deleted inserted replaced
2009:799be3911ce3 2010:403f0cc65b9c
76 val addEffectful : ffi -> unit 76 val addEffectful : ffi -> unit
77 val isEffectful : ffi -> bool 77 val isEffectful : ffi -> bool
78 78
79 (* Which FFI functions should not have their calls removed or reordered, but cause no lasting effects? *) 79 (* Which FFI functions should not have their calls removed or reordered, but cause no lasting effects? *)
80 val setBenignEffectful : ffi list -> unit 80 val setBenignEffectful : ffi list -> unit
81 val addBenignEffectful : ffi -> unit
81 val isBenignEffectful : ffi -> bool 82 val isBenignEffectful : ffi -> bool
82 83
83 (* Which FFI functions may only be run in clients? *) 84 (* Which FFI functions may only be run in clients? *)
84 val setClientOnly : ffi list -> unit 85 val setClientOnly : ffi list -> unit
86 val addClientOnly : ffi -> unit
85 val isClientOnly : ffi -> bool 87 val isClientOnly : ffi -> bool
86 88
87 (* Which FFI functions may only be run on servers? *) 89 (* Which FFI functions may only be run on servers? *)
88 val setServerOnly : ffi list -> unit 90 val setServerOnly : ffi list -> unit
91 val addServerOnly : ffi -> unit
89 val isServerOnly : ffi -> bool 92 val isServerOnly : ffi -> bool
90 93
91 (* Which FFI functions may be run in JavaScript? (JavaScript function names included) *) 94 (* Which FFI functions may be run in JavaScript? (JavaScript function names included) *)
92 val setJsFuncs : (ffi * string) list -> unit 95 val setJsFuncs : (ffi * string) list -> unit
96 val addJsFunc : ffi * string -> unit
93 val jsFunc : ffi -> string option 97 val jsFunc : ffi -> string option
94 val allJsFuncs : unit -> (ffi * string) list 98 val allJsFuncs : unit -> (ffi * string) list
95 99
96 datatype pattern_kind = Exact | Prefix 100 datatype pattern_kind = Exact | Prefix
97 datatype action = Allow | Deny 101 datatype action = Allow | Deny
269 val mangleSqlCatalog : string -> string 273 val mangleSqlCatalog : string -> string
270 val mangleSqlTable : string -> string 274 val mangleSqlTable : string -> string
271 275
272 val setIsHtml5 : bool -> unit 276 val setIsHtml5 : bool -> unit
273 val getIsHtml5 : unit -> bool 277 val getIsHtml5 : unit -> bool
278
279 val setLessSafeFfi : bool -> unit
280 val getLessSafeFfi : unit -> bool
274 end 281 end