Mercurial > urweb
diff src/compiler.sig @ 765:a28982de5645
Successfully influenced effectful-ness status of FFI func
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 02 May 2009 11:27:26 -0400 |
| parents | 7f653298dd66 |
| children | df09c95085f8 |
line wrap: on
line diff
--- a/src/compiler.sig Thu Apr 30 17:15:14 2009 -0400 +++ b/src/compiler.sig Sat May 02 11:27:26 2009 -0400 @@ -40,7 +40,12 @@ timeout : int, ffi : string list, link : string list, - headers : string list + headers : string list, + clientToServer : Settings.ffi list, + effectful : Settings.ffi list, + clientOnly : Settings.ffi list, + serverOnly : Settings.ffi list, + jsFuncs : (Settings.ffi * string) list } val compile : string -> unit val compileC : {cname : string, oname : string, ename : string, libs : string,