comparison src/compiler.sig @ 742:43553c93dd8c

Reading blobs from the database
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Apr 2009 10:45:59 -0400
parents 5819fb63c93a
children 7f653298dd66
comparison
equal deleted inserted replaced
741:f7e2026dd5ae 742:43553c93dd8c
38 debug : bool, 38 debug : bool,
39 profile : bool, 39 profile : bool,
40 timeout : int 40 timeout : int
41 } 41 }
42 val compile : string -> unit 42 val compile : string -> unit
43 val compileC : {cname : string, oname : string, ename : string, libs : string, profile : bool} -> unit 43 val compileC : {cname : string, oname : string, ename : string, libs : string,
44 profile : bool, debug : bool} -> unit
44 45
45 type ('src, 'dst) phase 46 type ('src, 'dst) phase
46 type ('src, 'dst) transform 47 type ('src, 'dst) transform
47 48
48 val transform : ('src, 'dst) phase -> string -> ('src, 'dst) transform 49 val transform : ('src, 'dst) phase -> string -> ('src, 'dst) transform