diff options
Diffstat (limited to 'src/compiler.sig')
| -rw-r--r-- | src/compiler.sig | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler.sig b/src/compiler.sig index 2f062622..f7727771 100644 --- a/src/compiler.sig +++ b/src/compiler.sig @@ -49,7 +49,9 @@ signature COMPILER = sig jsFuncs : (Settings.ffi * string) list, rewrites : Settings.rewrite list, filterUrl : Settings.rule list, - filterMime : Settings.rule list + filterMime : Settings.rule list, + protocol : string option, + dbms : string option } val compile : string -> unit val compileC : {cname : string, oname : string, ename : string, libs : string, |