comparison src/cjr_print.sml @ 2241:2b1af5dc6dee

Merge.
author Ziv Scully <ziv@mit.edu>
date Sun, 19 Jul 2015 19:05:16 -0700
parents af1585e7d645 f55b0e45422f
children 6fb9232ade99
comparison
equal deleted inserted replaced
2240:88cc0f44c940 2241:2b1af5dc6dee
3670 string "(", 3670 string "(",
3671 p_list (fn (x, t) => 3671 p_list (fn (x, t) =>
3672 let 3672 let
3673 val t = sql_type_in env t 3673 val t = sql_type_in env t
3674 in 3674 in
3675 box [string "uw_", 3675 box [string (Settings.mangleSql (CharVector.map Char.toLower x)),
3676 string (CharVector.map Char.toLower x),
3677 space, 3676 space,
3678 string (#p_sql_type (Settings.currentDbms ()) t), 3677 string (#p_sql_type (Settings.currentDbms ()) t),
3679 case t of 3678 case t of
3680 Nullable _ => box [] 3679 Nullable _ => box []
3681 | _ => string " NOT NULL"] 3680 | _ => string " NOT NULL"]