Mercurial > urweb

comparison lib/ur/basis.urs @ 1011:16f7cb0891b6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial support for char in SQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 16:15:56 -0400
parents 5a0f6ec208ce
children e46227efcbba
comparison
equal deleted inserted replaced
1010:6b0f3853cc81 1011:16f7cb0891b6
163 class sql_injectable_prim 163 class sql_injectable_prim
164 val sql_bool : sql_injectable_prim bool 164 val sql_bool : sql_injectable_prim bool
165 val sql_int : sql_injectable_prim int 165 val sql_int : sql_injectable_prim int
166 val sql_float : sql_injectable_prim float 166 val sql_float : sql_injectable_prim float
167 val sql_string : sql_injectable_prim string 167 val sql_string : sql_injectable_prim string
168 val sql_char : sql_injectable_prim char
168 val sql_time : sql_injectable_prim time 169 val sql_time : sql_injectable_prim time
169 val sql_blob : sql_injectable_prim blob 170 val sql_blob : sql_injectable_prim blob
170 val sql_channel : t ::: Type -> sql_injectable_prim (channel t) 171 val sql_channel : t ::: Type -> sql_injectable_prim (channel t)
171 val sql_client : sql_injectable_prim client 172 val sql_client : sql_injectable_prim client
172 173