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