Mercurial > urweb

comparison src/cjr_print.sml @ 874:3c7b48040dcf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MySQL demo/sql succeeds in reading no rows
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Jul 2009 15:05:40 -0400
parents 41971801b62d
children dae141d911d9
comparison
equal deleted inserted replaced
873:41971801b62d 874:3c7b48040dcf
2792 DTable (s, xts, pk, csts) => 2792 DTable (s, xts, pk, csts) =>
2793 box [string "CREATE TABLE ", 2793 box [string "CREATE TABLE ",
2794 string s, 2794 string s,
2795 string "(", 2795 string "(",
2796 p_list (fn (x, t) => 2796 p_list (fn (x, t) =>
2797 box [string "uw_", 2797 let
2798 string (CharVector.map Char.toLower x), 2798 val t = sql_type_in env t
2799 space, 2799 in
2800 string (#p_sql_type (Settings.currentDbms ()) 2800 box [string "uw_",
2801 (sql_type_in env t))]) xts, 2801 string (CharVector.map Char.toLower x),
2802 space,
2803 string (#p_sql_type (Settings.currentDbms ()) t),
2804 case t of
2805 Nullable _ => box []
2806 | _ => string " NOT NULL"]
2807 end) xts,
2802 case (pk, csts) of 2808 case (pk, csts) of
2803 ("", []) => box [] 2809 ("", []) => box []
2804 | _ => string ",", 2810 | _ => string ",",
2805 cut, 2811 cut,
2806 case pk of 2812 case pk of