comparison 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
comparison
equal deleted inserted replaced
878:a8952047e1d3 879:b2a175a0f2ef
882 print = CjrPrint.p_file CjrEnv.empty 882 print = CjrPrint.p_file CjrEnv.empty
883 } 883 }
884 884
885 val toPrepare = transform prepare "prepare" o toScriptcheck 885 val toPrepare = transform prepare "prepare" o toScriptcheck
886 886
887 val checknest = {
888 func = fn f => if #supportsNestedPrepared (Settings.currentDbms ()) then f else Checknest.annotate f,
889 print = CjrPrint.p_file CjrEnv.empty
890 }
891
892 val toChecknest = transform checknest "checknest" o toPrepare
893
887 val sqlify = { 894 val sqlify = {
888 func = Cjrize.cjrize, 895 func = Cjrize.cjrize,
889 print = CjrPrint.p_sql CjrEnv.empty 896 print = CjrPrint.p_sql CjrEnv.empty
890 } 897 }
891 898
922 else 929 else
923 () 930 ()
924 end 931 end
925 932
926 fun compile job = 933 fun compile job =
927 case run toPrepare job of 934 case run toChecknest job of
928 NONE => print "Ur compilation failed\n" 935 NONE => print "Ur compilation failed\n"
929 | SOME file => 936 | SOME file =>
930 let 937 let
931 val job = valOf (run (transform parseUrp "parseUrp") job) 938 val job = valOf (run (transform parseUrp "parseUrp") job)
932 939