Mercurial > urweb
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 |