diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-22 16:15:56 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-22 16:15:56 -0400 |
commit | 7e1e019f3fef4c229c06ba2c0c2aa3ec021eedad (patch) | |
tree | a765ee0cd11f8b42d77606fa4d133daceefff056 /src/cjr_print.sml | |
parent | c4becb5fa4357e7a27e6536f3a20e3d5d6136cb0 (diff) |
Initial support for char in SQL
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r-- | src/cjr_print.sml | 16 |
1 files changed, 2 insertions, 14 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 25666d97..d63c9099 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -491,20 +491,7 @@ fun isFile (t : typ) = TFfi ("Basis", "file") => true | _ => false -fun p_sql_type' t = - case t of - Int => "uw_Basis_int" - | Float => "uw_Basis_float" - | String => "uw_Basis_string" - | Bool => "uw_Basis_bool" - | Time => "uw_Basis_time" - | Blob => "uw_Basis_blob" - | Channel => "uw_Basis_channel" - | Client => "uw_Basis_client" - | Nullable String => "uw_Basis_string" - | Nullable t => p_sql_type' t ^ "*" - -fun p_sql_type t = string (p_sql_type' t) +fun p_sql_type t = string (Settings.p_sql_ctype t) fun getPargs (e, _) = case e of @@ -1308,6 +1295,7 @@ fun sql_type_in env (tAll as (t, loc)) = TFfi ("Basis", "int") => Int | TFfi ("Basis", "float") => Float | TFfi ("Basis", "string") => String + | TFfi ("Basis", "char") => Char | TFfi ("Basis", "bool") => Bool | TFfi ("Basis", "time") => Time | TFfi ("Basis", "blob") => Blob |