summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-10-22 16:15:56 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-10-22 16:15:56 -0400
commit7e1e019f3fef4c229c06ba2c0c2aa3ec021eedad (patch)
treea765ee0cd11f8b42d77606fa4d133daceefff056 /src/settings.sml
parentc4becb5fa4357e7a27e6536f3a20e3d5d6136cb0 (diff)
Initial support for char in SQL
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index bed027a3..05a9e5da 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -282,6 +282,7 @@ datatype sql_type =
Int
| Float
| String
+ | Char
| Bool
| Time
| Blob
@@ -298,6 +299,7 @@ fun p_sql_ctype t =
Int => "uw_Basis_int"
| Float => "uw_Basis_float"
| String => "uw_Basis_string"
+ | Char => "uw_Basis_char"
| Bool => "uw_Basis_bool"
| Time => "uw_Basis_time"
| Blob => "uw_Basis_blob"