Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/compiler.sig Thu Jul 16 16:29:13 2009 -0400 +++ b/src/compiler.sig Thu Jul 16 18:10:29 2009 -0400 @@ -99,6 +99,7 @@ val cjrize : (Mono.file, Cjr.file) phase val scriptcheck : (Cjr.file, Cjr.file) phase val prepare : (Cjr.file, Cjr.file) phase + val checknest : (Cjr.file, Cjr.file) phase val sqlify : (Mono.file, Cjr.file) phase val toParseJob : (string, job) transform @@ -138,6 +139,7 @@ val toCjrize : (string, Cjr.file) transform val toScriptcheck : (string, Cjr.file) transform val toPrepare : (string, Cjr.file) transform + val toChecknest : (string, Cjr.file) transform val toSqlify : (string, Cjr.file) transform end