| No_such_index
| Bad_table_error
| GENERIC_ERROR of string
-exception Error
+exception Error of string
let profiler = HExtlib.profile "mysql"
| Some dbd ->
try
Some (profiler.HExtlib.profile (Mysql.exec dbd) s)
- with Mysql.Error _ -> raise Error
+ with Mysql.Error s -> raise (Error s)
let map res ~f =
match res with
| Mysql.No_such_table -> No_such_table
| Mysql.Table_exists_error -> Table_exists_error
| Mysql.Dup_keyname -> Dup_keyname
- | Mysql.No_such_table -> No_such_table
| Mysql.No_such_index -> No_such_index
| Mysql.Bad_table_error -> Bad_table_error
| _ -> GENERIC_ERROR "Mysql_generic_error"
let isMysql = true
+let escape_string_for_like = ("ESCAPE \"\\\\\"" : ('a,'b,'c,'a) format4);;