diff src/demo.sml @ 768:3b7e46790fa7

Path rewriting
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 13:23:07 -0400
parents df09c95085f8
children efceae06df17
line wrap: on
line diff
--- a/src/demo.sml	Sat May 02 12:50:52 2009 -0400
+++ b/src/demo.sml	Sat May 02 13:23:07 2009 -0400
@@ -103,7 +103,8 @@
             effectful = [],
             clientOnly = [],
             serverOnly = [],
-            jsFuncs = []
+            jsFuncs = [],
+            rewrites = []
         }
 
         val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")