Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
764:7f653298dd66 | 765:a28982de5645 |
---|---|
38 debug : bool, | 38 debug : bool, |
39 profile : bool, | 39 profile : bool, |
40 timeout : int, | 40 timeout : int, |
41 ffi : string list, | 41 ffi : string list, |
42 link : string list, | 42 link : string list, |
43 headers : string list | 43 headers : string list, |
44 clientToServer : Settings.ffi list, | |
45 effectful : Settings.ffi list, | |
46 clientOnly : Settings.ffi list, | |
47 serverOnly : Settings.ffi list, | |
48 jsFuncs : (Settings.ffi * string) list | |
44 } | 49 } |
45 val compile : string -> unit | 50 val compile : string -> unit |
46 val compileC : {cname : string, oname : string, ename : string, libs : string, | 51 val compileC : {cname : string, oname : string, ename : string, libs : string, |
47 profile : bool, debug : bool, link : string list} -> unit | 52 profile : bool, debug : bool, link : string list} -> unit |
48 | 53 |