Mercurial > urweb
diff src/compiler.sml @ 879:b2a175a0f2ef
Demo working with MySQL
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 16 Jul 2009 18:10:29 -0400 |
parents | 03e7f111fe99 |
children | 8f2159040bbb |
line wrap: on
line diff
--- a/src/compiler.sml Thu Jul 16 16:29:13 2009 -0400 +++ b/src/compiler.sml Thu Jul 16 18:10:29 2009 -0400 @@ -884,6 +884,13 @@ val toPrepare = transform prepare "prepare" o toScriptcheck +val checknest = { + func = fn f => if #supportsNestedPrepared (Settings.currentDbms ()) then f else Checknest.annotate f, + print = CjrPrint.p_file CjrEnv.empty +} + +val toChecknest = transform checknest "checknest" o toPrepare + val sqlify = { func = Cjrize.cjrize, print = CjrPrint.p_sql CjrEnv.empty @@ -924,7 +931,7 @@ end fun compile job = - case run toPrepare job of + case run toChecknest job of NONE => print "Ur compilation failed\n" | SOME file => let