comparison src/settings.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 771449d8b411
children ea9f03ac2710
comparison
equal deleted inserted replaced
1010:6b0f3853cc81 1011:16f7cb0891b6
280 280
281 datatype sql_type = 281 datatype sql_type =
282 Int 282 Int
283 | Float 283 | Float
284 | String 284 | String
285 | Char
285 | Bool 286 | Bool
286 | Time 287 | Time
287 | Blob 288 | Blob
288 | Channel 289 | Channel
289 | Client 290 | Client
296 in 297 in
297 case t of 298 case t of
298 Int => "uw_Basis_int" 299 Int => "uw_Basis_int"
299 | Float => "uw_Basis_float" 300 | Float => "uw_Basis_float"
300 | String => "uw_Basis_string" 301 | String => "uw_Basis_string"
302 | Char => "uw_Basis_char"
301 | Bool => "uw_Basis_bool" 303 | Bool => "uw_Basis_bool"
302 | Time => "uw_Basis_time" 304 | Time => "uw_Basis_time"
303 | Blob => "uw_Basis_blob" 305 | Blob => "uw_Basis_blob"
304 | Channel => "uw_Basis_channel" 306 | Channel => "uw_Basis_channel"
305 | Client => "uw_Basis_client" 307 | Client => "uw_Basis_client"