comparison src/cjr_print.sml @ 2144:f55b0e45422f

Fix .sql generation to honor 'noMangleSql' in column names
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 May 2015 12:56:19 -0400
parents ebfaab689570
children 6eae499c56cb 2b1af5dc6dee
comparison
equal deleted inserted replaced
2143:4895c41b2ec6 2144:f55b0e45422f
3663 string "(", 3663 string "(",
3664 p_list (fn (x, t) => 3664 p_list (fn (x, t) =>
3665 let 3665 let
3666 val t = sql_type_in env t 3666 val t = sql_type_in env t
3667 in 3667 in
3668 box [string "uw_", 3668 box [string (Settings.mangleSql (CharVector.map Char.toLower x)),
3669 string (CharVector.map Char.toLower x),
3670 space, 3669 space,
3671 string (#p_sql_type (Settings.currentDbms ()) t), 3670 string (#p_sql_type (Settings.currentDbms ()) t),
3672 case t of 3671 case t of
3673 Nullable _ => box [] 3672 Nullable _ => box []
3674 | _ => string " NOT NULL"] 3673 | _ => string " NOT NULL"]