Mercurial > urweb
diff lib/basis.urs @ 467:3f1b9231a37b
Inserted a NULL value
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 06 Nov 2008 15:37:38 -0500 |
| parents | f542bc3133dc |
| children | b393c2fc80f8 |
line wrap: on
line diff
--- a/lib/basis.urs Thu Nov 06 14:03:50 2008 -0500 +++ b/lib/basis.urs Thu Nov 06 15:37:38 2008 -0500 @@ -188,6 +188,11 @@ val sql_float : sql_injectable float val sql_string : sql_injectable string val sql_time : sql_injectable time +val sql_option_bool : sql_injectable (option bool) +val sql_option_int : sql_injectable (option int) +val sql_option_float : sql_injectable (option float) +val sql_option_string : sql_injectable (option string) +val sql_option_time : sql_injectable (option time) val sql_inject : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> t ::: Type -> sql_injectable t -> t -> sql_exp tables agg exps t