comparison src/compiler.sig @ 1332:4dd5d23bace2

minHeap option in .urp files
author Adam Chlipala <adam@chlipala.net>
date Sat, 11 Dec 2010 15:16:04 -0500
parents b4480a56cab7
children fd34210bc3e5
comparison
equal deleted inserted replaced
1331:a6427d1eda6f 1332:4dd5d23bace2
53 filterMime : Settings.rule list, 53 filterMime : Settings.rule list,
54 protocol : string option, 54 protocol : string option,
55 dbms : string option, 55 dbms : string option,
56 sigFile : string option, 56 sigFile : string option,
57 safeGets : string list, 57 safeGets : string list,
58 onError : (string * string list * string) option 58 onError : (string * string list * string) option,
59 minHeap : int
59 } 60 }
60 val compile : string -> bool 61 val compile : string -> bool
61 val compiler : string -> unit 62 val compiler : string -> unit
62 val compileC : {cname : string, oname : string, ename : string, libs : string, 63 val compileC : {cname : string, oname : string, ename : string, libs : string,
63 profile : bool, debug : bool, link : string list} -> bool 64 profile : bool, debug : bool, link : string list} -> bool