Mercurial > urweb

comparison src/compiler.sig @ 1079:d069b193ed6b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize uses a termination measure based on number of arguments introduced
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 19:26:52 -0500
parents 3bc726a822fb
children 4b2f50829af5
comparison
equal deleted inserted replaced
1078:b9321bcefb42 1079:d069b193ed6b
150 val toScriptcheck : (string, Cjr.file) transform 150 val toScriptcheck : (string, Cjr.file) transform
151 val toPrepare : (string, Cjr.file) transform 151 val toPrepare : (string, Cjr.file) transform
152 val toChecknest : (string, Cjr.file) transform 152 val toChecknest : (string, Cjr.file) transform
153 val toSqlify : (string, Cjr.file) transform 153 val toSqlify : (string, Cjr.file) transform
154 154
155 val debug : bool ref
156
155 end 157 end