comparison src/compiler.sig @ 673:a8effb6159c2

Variable timeouts and client keep-alive
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Mar 2009 15:35:46 -0400
parents aa2290c32ce2
children 54ec237a3028
comparison
equal deleted inserted replaced
672:df6eb58de040 673:a8effb6159c2
34 database : string option, 34 database : string option,
35 sources : string list, 35 sources : string list,
36 exe : string, 36 exe : string,
37 sql : string option, 37 sql : string option,
38 debug : bool, 38 debug : bool,
39 profile : bool 39 profile : bool,
40 timeout : int
40 } 41 }
41 val compile : string -> unit 42 val compile : string -> unit
42 val compileC : {cname : string, oname : string, ename : string, libs : string, profile : bool} -> unit 43 val compileC : {cname : string, oname : string, ename : string, libs : string, profile : bool} -> unit
43 44
44 type ('src, 'dst) phase 45 type ('src, 'dst) phase