Mercurial > urweb
diff lib/ur/basis.urs @ 1011:16f7cb0891b6
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 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Thu Oct 22 14:05:48 2009 -0400 +++ b/lib/ur/basis.urs Thu Oct 22 16:15:56 2009 -0400 @@ -165,6 +165,7 @@ val sql_int : sql_injectable_prim int val sql_float : sql_injectable_prim float val sql_string : sql_injectable_prim string +val sql_char : sql_injectable_prim char val sql_time : sql_injectable_prim time val sql_blob : sql_injectable_prim blob val sql_channel : t ::: Type -> sql_injectable_prim (channel t)