diff src/compiler.sig @ 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/compiler.sig	Sat May 02 12:50:52 2009 -0400
+++ b/src/compiler.sig	Sat May 02 13:23:07 2009 -0400
@@ -46,7 +46,8 @@
          effectful : Settings.ffi list,
          clientOnly : Settings.ffi list,
          serverOnly : Settings.ffi list,
-         jsFuncs : (Settings.ffi * string) list
+         jsFuncs : (Settings.ffi * string) list,
+         rewrites : Settings.rewrite list
     }
     val compile : string -> unit
     val compileC : {cname : string, oname : string, ename : string, libs : string,