comparison src/compiler.sig @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents 5b5c0b552f59
children 4dd5d23bace2
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
52 filterUrl : Settings.rule list, 52 filterUrl : Settings.rule list,
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 } 59 }
59 val compile : string -> bool 60 val compile : string -> bool
60 val compiler : string -> unit 61 val compiler : string -> unit
61 val compileC : {cname : string, oname : string, ename : string, libs : string, 62 val compileC : {cname : string, oname : string, ename : string, libs : string,
62 profile : bool, debug : bool, link : string list} -> bool 63 profile : bool, debug : bool, link : string list} -> bool