Mercurial > urweb

comparison src/compiler.sig @ 502:8875ff2e85dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Profiling support
author Adam Chlipala <adamc@hcoop.net>
date Thu, 20 Nov 2008 12:16:30 -0500
parents 5521bb0b4014
children 65d8541c130b
comparison
equal deleted inserted replaced
501:7ef4b2911b09 502:8875ff2e85dc
33 prefix : string, 33 prefix : string,
34 database : string option, 34 database : string option,
35 sources : string list, 35 sources : string list,
36 exe : string, 36 exe : string,
37 sql : string option, 37 sql : string option,
38 debug : bool 38 debug : bool,
39 profile : bool
39 } 40 }
40 val compile : string -> unit 41 val compile : string -> unit
41 val compileC : {cname : string, oname : string, ename : string, libs : string} -> unit 42 val compileC : {cname : string, oname : string, ename : string, libs : string, profile : bool} -> unit
42 43
43 type ('src, 'dst) phase 44 type ('src, 'dst) phase
44 type ('src, 'dst) transform 45 type ('src, 'dst) transform
45 46
46 val transform : ('src, 'dst) phase -> string -> ('src, 'dst) transform 47 val transform : ('src, 'dst) phase -> string -> ('src, 'dst) transform