Mercurial > urweb
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,