Mercurial > urweb
diff src/settings.sig @ 766:df09c95085f8
More FFI compiler options
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 02 May 2009 12:10:43 -0400 |
parents | a28982de5645 |
children | 3b7e46790fa7 |
line wrap: on
line diff
--- a/src/settings.sig Sat May 02 11:27:26 2009 -0400 +++ b/src/settings.sig Sat May 02 12:10:43 2009 -0400 @@ -39,6 +39,10 @@ val setHeaders : string list -> unit val getHeaders : unit -> string list + (* Which extra JavaScript URLs should be included? *) + val setScripts : string list -> unit + val getScripts : unit -> string list + type ffi = string * string (* Which FFI types may be sent from clients to servers? *)