diff src/demo.sml @ 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 74a090ff296e
line wrap: on
line diff
--- a/src/demo.sml	Sat May 02 13:23:07 2009 -0400
+++ b/src/demo.sml	Sat May 02 13:37:52 2009 -0400
@@ -104,7 +104,9 @@
             clientOnly = [],
             serverOnly = [],
             jsFuncs = [],
-            rewrites = []
+            rewrites = [],
+            filterUrl = #filterUrl combined @ #filterUrl urp,
+            filterMime = #filterMime combined @ #filterMime urp
         }
 
         val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")