Mercurial > urweb
diff src/compiler.sig @ 866:03e7f111fe99
Start of multi-DBMS support
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 28 Jun 2009 13:49:32 -0400 |
parents | dc3fc3f3b834 |
children | b2a175a0f2ef |
line wrap: on
line diff
--- a/src/compiler.sig Sun Jun 28 11:49:04 2009 -0400 +++ b/src/compiler.sig Sun Jun 28 13:49:32 2009 -0400 @@ -49,7 +49,9 @@ 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,