Mercurial > urweb

comparison src/compiler.sig @ 244:71bafe66dbe1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Laconic -> Ur
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 08:32:18 -0400
parents af5bd54cbbd7
children 40c33706d887
comparison
equal deleted inserted replaced
243:2b9dfaffb008 244:71bafe66dbe1
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
25 * POSSIBILITY OF SUCH DAMAGE. 25 * POSSIBILITY OF SUCH DAMAGE.
26 *) 26 *)
27 27
28 (* Laconic/Web main compiler interface *) 28 (* Ur/Web main compiler interface *)
29 29
30 signature COMPILER = sig 30 signature COMPILER = sig
31 31
32 type job = string list 32 type job = string list
33 val compile : job -> unit 33 val compile : job -> unit
42 val run : ('src, 'dst) transform -> 'src -> 'dst option 42 val run : ('src, 'dst) transform -> 'src -> 'dst option
43 val runPrint : ('src, 'dst) transform -> 'src -> unit 43 val runPrint : ('src, 'dst) transform -> 'src -> unit
44 val time : ('src, 'dst) transform -> 'src -> unit 44 val time : ('src, 'dst) transform -> 'src -> unit
45 val timePrint : ('src, 'dst) transform -> 'src -> unit 45 val timePrint : ('src, 'dst) transform -> 'src -> unit
46 46
47 val parseLac : (string, Source.file) phase 47 val parseUr : (string, Source.file) phase
48 val parseLig : (string, Source.sgn_item list) phase 48 val parseUrs : (string, Source.sgn_item list) phase
49 49
50 val parse : (job, Source.file) phase 50 val parse : (job, Source.file) phase
51 val elaborate : (Source.file, Elab.file) phase 51 val elaborate : (Source.file, Elab.file) phase
52 val explify : (Elab.file, Expl.file) phase 52 val explify : (Elab.file, Expl.file) phase
53 val corify : (Expl.file, Core.file) phase 53 val corify : (Expl.file, Core.file) phase