comparison src/settings.sig @ 1011:16f7cb0891b6

Initial support for char in SQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 16:15:56 -0400
parents 8f2159040bbb
children ea9f03ac2710
comparison
equal deleted inserted replaced
1010:6b0f3853cc81 1011:16f7cb0891b6
103 (* Different DBMSes *) 103 (* Different DBMSes *)
104 datatype sql_type = 104 datatype sql_type =
105 Int 105 Int
106 | Float 106 | Float
107 | String 107 | String
108 | Char
108 | Bool 109 | Bool
109 | Time 110 | Time
110 | Blob 111 | Blob
111 | Channel 112 | Channel
112 | Client 113 | Client