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