diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-06-28 13:49:32 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-28 13:49:32 -0400 |
| commit | 5404041e9b6c6c8bba38c58e510327c129df4cc7 (patch) | |
| tree | a31efa1a10c57b3b2db7f7ba7008b4871a70e2a6 /src/compiler.sig | |
| parent | b43844e26af1f616ffb38e1b61a3f431218a63cd (diff) | |
Start of multi-DBMS support
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, |