Mercurial > urweb
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 |