Mercurial > urweb

comparison src/settings.sig @ 1171:7a2a7a8f9cab

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
benignEffectful
author Adam Chlipala <adamc@hcoop.net>
date Sat, 27 Feb 2010 16:49:11 -0500
parents 8679ba87cf3c
children 9d3ccb8b39ac
comparison
equal deleted inserted replaced
1170:52c6ac6a59f1 1171:7a2a7a8f9cab
55 val mayClientToServer : ffi -> bool 55 val mayClientToServer : ffi -> bool
56 56
57 (* Which FFI functions have side effects? *) 57 (* Which FFI functions have side effects? *)
58 val setEffectful : ffi list -> unit 58 val setEffectful : ffi list -> unit
59 val isEffectful : ffi -> bool 59 val isEffectful : ffi -> bool
60
61 (* Which FFI functions should not have their calls removed or reordered, but cause no lasting effects? *)
62 val setBenignEffectful : ffi list -> unit
63 val isBenignEffectful : ffi -> bool
60 64
61 (* Which FFI functions may only be run in clients? *) 65 (* Which FFI functions may only be run in clients? *)
62 val setClientOnly : ffi list -> unit 66 val setClientOnly : ffi list -> unit
63 val isClientOnly : ffi -> bool 67 val isClientOnly : ffi -> bool
64 68