Mercurial > urweb

comparison src/compiler.sig @ 274:e4baf03a3a64

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Generating SQL files
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 13:44:54 -0400
parents b9b02613c0c2
children 0236d9412ad2
comparison
equal deleted inserted replaced
273:09c66a30ef32 274:e4baf03a3a64
29 29
30 signature COMPILER = sig 30 signature COMPILER = sig
31 31
32 type job = { 32 type job = {
33 database : string option, 33 database : string option,
34 sources : string list 34 sources : string list,
35 exe : string,
36 sql : string option,
37 debug : bool
35 } 38 }
36 val compile : string -> unit 39 val compile : string -> unit
37 val compileC : {cname : string, oname : string, ename : string} -> unit 40 val compileC : {cname : string, oname : string, ename : string} -> unit
38 41
39 type ('src, 'dst) phase 42 type ('src, 'dst) phase
63 val mono_opt : (Mono.file, Mono.file) phase 66 val mono_opt : (Mono.file, Mono.file) phase
64 val untangle : (Mono.file, Mono.file) phase 67 val untangle : (Mono.file, Mono.file) phase
65 val mono_reduce : (Mono.file, Mono.file) phase 68 val mono_reduce : (Mono.file, Mono.file) phase
66 val mono_shake : (Mono.file, Mono.file) phase 69 val mono_shake : (Mono.file, Mono.file) phase
67 val cjrize : (Mono.file, Cjr.file) phase 70 val cjrize : (Mono.file, Cjr.file) phase
71 val sqlify : (Mono.file, Cjr.file) phase
68 72
69 val toParseJob : (string, job) transform 73 val toParseJob : (string, job) transform
70 val toParse : (string, Source.file) transform 74 val toParse : (string, Source.file) transform
71 val toElaborate : (string, Elab.file) transform 75 val toElaborate : (string, Elab.file) transform
72 val toExplify : (string, Expl.file) transform 76 val toExplify : (string, Expl.file) transform
81 val toUntangle : (string, Mono.file) transform 85 val toUntangle : (string, Mono.file) transform
82 val toMono_reduce : (string, Mono.file) transform 86 val toMono_reduce : (string, Mono.file) transform
83 val toMono_shake : (string, Mono.file) transform 87 val toMono_shake : (string, Mono.file) transform
84 val toMono_opt2 : (string, Mono.file) transform 88 val toMono_opt2 : (string, Mono.file) transform
85 val toCjrize : (string, Cjr.file) transform 89 val toCjrize : (string, Cjr.file) transform
90 val toSqlify : (string, Cjr.file) transform
86 91
87 end 92 end