comparison src/compiler.sig @ 1045:36efaf119b85

Refactor compile functions; allow empty tag contents
author Adam Chlipala <adamc@hcoop.net>
date Wed, 25 Nov 2009 08:52:32 -0500
parents dfe34fad749d
children 3bc726a822fb
comparison
equal deleted inserted replaced
1044:0d916892e39e 1045:36efaf119b85
51 filterUrl : Settings.rule list, 51 filterUrl : Settings.rule list,
52 filterMime : Settings.rule list, 52 filterMime : Settings.rule list,
53 protocol : string option, 53 protocol : string option,
54 dbms : string option 54 dbms : string option
55 } 55 }
56 val compile : string -> unit 56 val compile : string -> bool
57 val compiler : string -> unit
57 val compileC : {cname : string, oname : string, ename : string, libs : string, 58 val compileC : {cname : string, oname : string, ename : string, libs : string,
58 profile : bool, debug : bool, link : string list} -> unit 59 profile : bool, debug : bool, link : string list} -> bool
59 60
60 type ('src, 'dst) phase 61 type ('src, 'dst) phase
61 type ('src, 'dst) transform 62 type ('src, 'dst) transform
62 63
63 val transform : ('src, 'dst) phase -> string -> ('src, 'dst) transform 64 val transform : ('src, 'dst) phase -> string -> ('src, 'dst) transform