diff src/compiler.sig @ 769:efceae06df17

allow/deny working in Mono_opt
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 13:37:52 -0400
parents 3b7e46790fa7
children dc3fc3f3b834
line wrap: on
line diff
--- a/src/compiler.sig	Sat May 02 13:23:07 2009 -0400
+++ b/src/compiler.sig	Sat May 02 13:37:52 2009 -0400
@@ -47,7 +47,9 @@
          clientOnly : Settings.ffi list,
          serverOnly : Settings.ffi list,
          jsFuncs : (Settings.ffi * string) list,
-         rewrites : Settings.rewrite list
+         rewrites : Settings.rewrite list,
+         filterUrl : Settings.rule list,
+         filterMime : Settings.rule list
     }
     val compile : string -> unit
     val compileC : {cname : string, oname : string, ename : string, libs : string,