Mercurial > urweb
comparison src/cjr_print.sml @ 873:41971801b62d
MySQL query gets up to C linking
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 12 Jul 2009 13:16:05 -0400 |
parents | 9654bce27cff |
children | 3c7b48040dcf |
comparison
equal
deleted
inserted
replaced
872:9654bce27cff | 873:41971801b62d |
---|---|
1650 newline, | 1650 newline, |
1651 newline, | 1651 newline, |
1652 | 1652 |
1653 #query (Settings.currentDbms ()) | 1653 #query (Settings.currentDbms ()) |
1654 {loc = loc, | 1654 {loc = loc, |
1655 numCols = length outputs, | 1655 cols = map (fn (_, t) => sql_type_in env t) outputs, |
1656 doCols = doCols}] | 1656 doCols = doCols}] |
1657 | SOME (id, query) => | 1657 | SOME (id, query) => |
1658 box [p_list_sepi newline | 1658 box [p_list_sepi newline |
1659 (fn i => fn (e, t) => | 1659 (fn i => fn (e, t) => |
1660 box [p_sql_type t, | 1660 box [p_sql_type t, |
1673 #queryPrepared (Settings.currentDbms ()) | 1673 #queryPrepared (Settings.currentDbms ()) |
1674 {loc = loc, | 1674 {loc = loc, |
1675 id = id, | 1675 id = id, |
1676 query = query, | 1676 query = query, |
1677 inputs = map #2 inputs, | 1677 inputs = map #2 inputs, |
1678 numCols = length outputs, | 1678 cols = map (fn (_, t) => sql_type_in env t) outputs, |
1679 doCols = doCols}], | 1679 doCols = doCols}], |
1680 newline, | 1680 newline, |
1681 | 1681 |
1682 if wontLeakAnything then | 1682 if wontLeakAnything then |
1683 box [string "uw_end_region(ctx);", | 1683 box [string "uw_end_region(ctx);", |
2795 string "(", | 2795 string "(", |
2796 p_list (fn (x, t) => | 2796 p_list (fn (x, t) => |
2797 box [string "uw_", | 2797 box [string "uw_", |
2798 string (CharVector.map Char.toLower x), | 2798 string (CharVector.map Char.toLower x), |
2799 space, | 2799 space, |
2800 p_sqltype env (t, ErrorMsg.dummySpan)]) xts, | 2800 string (#p_sql_type (Settings.currentDbms ()) |
2801 (sql_type_in env t))]) xts, | |
2801 case (pk, csts) of | 2802 case (pk, csts) of |
2802 ("", []) => box [] | 2803 ("", []) => box [] |
2803 | _ => string ",", | 2804 | _ => string ",", |
2804 cut, | 2805 cut, |
2805 case pk of | 2806 case pk of |