comparison 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
comparison
equal deleted inserted replaced
767:d27ed5ddeb52 768:3b7e46790fa7
44 scripts : string list, 44 scripts : string list,
45 clientToServer : Settings.ffi list, 45 clientToServer : Settings.ffi list,
46 effectful : Settings.ffi list, 46 effectful : Settings.ffi list,
47 clientOnly : Settings.ffi list, 47 clientOnly : Settings.ffi list,
48 serverOnly : Settings.ffi list, 48 serverOnly : Settings.ffi list,
49 jsFuncs : (Settings.ffi * string) list 49 jsFuncs : (Settings.ffi * string) list,
50 rewrites : Settings.rewrite list
50 } 51 }
51 val compile : string -> unit 52 val compile : string -> unit
52 val compileC : {cname : string, oname : string, ename : string, libs : string, 53 val compileC : {cname : string, oname : string, ename : string, libs : string,
53 profile : bool, debug : bool, link : string list} -> unit 54 profile : bool, debug : bool, link : string list} -> unit
54 55