diff src/demo.sml @ 774:412ccd97ab71

url demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 May 2009 12:24:39 -0400
parents 74a090ff296e
children 9f2555f06901
line wrap: on
line diff
--- a/src/demo.sml	Sun May 03 12:01:55 2009 -0400
+++ b/src/demo.sml	Sun May 03 12:24:39 2009 -0400
@@ -104,7 +104,7 @@
             clientOnly = [],
             serverOnly = [],
             jsFuncs = [],
-            rewrites = [],
+            rewrites = #rewrites combined @ #rewrites urp,
             filterUrl = #filterUrl combined @ #filterUrl urp,
             filterMime = #filterMime combined @ #filterMime urp
         }
@@ -372,6 +372,35 @@
                 TextIO.output (outf, "prefix ");
                 TextIO.output (outf, prefix);
                 TextIO.output (outf, "\n");
+                app (fn rule =>
+                        (TextIO.output (outf, "rewrite ");
+                         TextIO.output (outf, case #pkind rule of
+                                                  Settings.Any => "any"
+                                                | Settings.Url => "url"
+                                                | Settings.Table => "table"
+                                                | Settings.Sequence => "sequence"
+                                                | Settings.View => "view"
+                                                | Settings.Relation => "relation"
+                                                | Settings.Cookie => "cookie"
+                                                | Settings.Style => "style");
+                         TextIO.output (outf, " ");
+                         TextIO.output (outf, #from rule);
+                         case #kind rule of
+                             Settings.Exact => ()
+                           | Settings.Prefix => TextIO.output (outf, "*");
+                         TextIO.output (outf, " ");
+                         TextIO.output (outf, #to rule);
+                         TextIO.output (outf, "\n"))) (#rewrites combined);
+                app (fn rule =>
+                        (TextIO.output (outf, case #action rule of
+                                                  Settings.Allow => "allow"
+                                                | Settings.Deny => "deny");
+                         TextIO.output (outf, " url ");
+                         TextIO.output (outf, #pattern rule);
+                         case #kind rule of
+                             Settings.Exact => ()
+                           | Settings.Prefix => TextIO.output (outf, "*");
+                         TextIO.output (outf, "\n"))) (#filterUrl combined);
                 TextIO.output (outf, "\n");
 
                 app (fn s =>