comparison src/compiler.sig @ 879:b2a175a0f2ef

Demo working with MySQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Jul 2009 18:10:29 -0400
parents 03e7f111fe99
children d1d0b18afd3d
comparison
equal deleted inserted replaced
878:a8952047e1d3 879:b2a175a0f2ef
97 val fuse : (Mono.file, Mono.file) phase 97 val fuse : (Mono.file, Mono.file) phase
98 val pathcheck : (Mono.file, Mono.file) phase 98 val pathcheck : (Mono.file, Mono.file) phase
99 val cjrize : (Mono.file, Cjr.file) phase 99 val cjrize : (Mono.file, Cjr.file) phase
100 val scriptcheck : (Cjr.file, Cjr.file) phase 100 val scriptcheck : (Cjr.file, Cjr.file) phase
101 val prepare : (Cjr.file, Cjr.file) phase 101 val prepare : (Cjr.file, Cjr.file) phase
102 val checknest : (Cjr.file, Cjr.file) phase
102 val sqlify : (Mono.file, Cjr.file) phase 103 val sqlify : (Mono.file, Cjr.file) phase
103 104
104 val toParseJob : (string, job) transform 105 val toParseJob : (string, job) transform
105 val toParse : (string, Source.file) transform 106 val toParse : (string, Source.file) transform
106 val toElaborate : (string, Elab.file) transform 107 val toElaborate : (string, Elab.file) transform
136 val toMono_shake2 : (string, Mono.file) transform 137 val toMono_shake2 : (string, Mono.file) transform
137 val toPathcheck : (string, Mono.file) transform 138 val toPathcheck : (string, Mono.file) transform
138 val toCjrize : (string, Cjr.file) transform 139 val toCjrize : (string, Cjr.file) transform
139 val toScriptcheck : (string, Cjr.file) transform 140 val toScriptcheck : (string, Cjr.file) transform
140 val toPrepare : (string, Cjr.file) transform 141 val toPrepare : (string, Cjr.file) transform
142 val toChecknest : (string, Cjr.file) transform
141 val toSqlify : (string, Cjr.file) transform 143 val toSqlify : (string, Cjr.file) transform
142 144
143 end 145 end