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