diff src/cjr_print.sml @ 1011:16f7cb0891b6

Initial support for char in SQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 16:15:56 -0400
parents 166ea3944b91
children e46227efcbba
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Oct 22 14:05:48 2009 -0400
+++ b/src/cjr_print.sml	Thu Oct 22 16:15:56 2009 -0400
@@ -491,20 +491,7 @@
         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 @@
         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