Mercurial > urweb

comparison src/compiler.sig @ 56:d3cc191cb25f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Separate compilation and automatic basis importation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 14:23:05 -0400
parents 5c97b7cd912b
children 82aaa1c406d3
comparison
equal deleted inserted replaced
55:5c97b7cd912b 56:d3cc191cb25f
27 27
28 (* Laconic/Web main compiler interface *) 28 (* Laconic/Web main compiler interface *)
29 29
30 signature COMPILER = sig 30 signature COMPILER = sig
31 31
32 val compile : string -> unit 32 type job = string list
33 val compile : job -> unit
33 34
34 val parseLig : string -> Source.sgn_item list option 35 val parseLig : string -> Source.sgn_item list option
35 val testLig : string -> unit 36 val testLig : string -> unit
36 37
37 val parse : string -> Source.file option 38 val parseLac : string -> Source.file option
38 val elaborate : ElabEnv.env -> string -> (Elab.file * ElabEnv.env) option 39 val testLac : string -> unit
39 val explify : ElabEnv.env -> string -> Expl.file option
40 val corify : ElabEnv.env -> string -> Core.file option
41 val shake' : ElabEnv.env -> string -> Core.file option
42 val reduce : ElabEnv.env -> string -> Core.file option
43 val shake : ElabEnv.env -> string -> Core.file option
44 val monoize : ElabEnv.env -> CoreEnv.env -> string -> Mono.file option
45 val cloconv : ElabEnv.env -> CoreEnv.env -> string -> Flat.file option
46 val cjrize : ElabEnv.env -> CoreEnv.env -> string -> Cjr.file option
47 40
48 val testParse : string -> unit 41 val parse : job -> Source.file option
49 val testElaborate : string -> unit 42 val elaborate : job -> Elab.file option
50 val testExplify : string -> unit 43 val explify : job -> Expl.file option
51 val testCorify : string -> unit 44 val corify : job -> Core.file option
52 val testShake' : string -> unit 45 val shake' : job -> Core.file option
53 val testReduce : string -> unit 46 val reduce : job -> Core.file option
54 val testShake : string -> unit 47 val shake : job -> Core.file option
55 val testMonoize : string -> unit 48 val monoize : job -> Mono.file option
56 val testCloconv : string -> unit 49 val cloconv : job -> Flat.file option
57 val testCjrize : string -> unit 50 val cjrize : job -> Cjr.file option
51
52 val testParse : job -> unit
53 val testElaborate : job -> unit
54 val testExplify : job -> unit
55 val testCorify : job -> unit
56 val testShake' : job -> unit
57 val testReduce : job -> unit
58 val testShake : job -> unit
59 val testMonoize : job -> unit
60 val testCloconv : job -> unit
61 val testCjrize : job -> unit
58 62
59 end 63 end