From cb12b4a2a8df19bf0a4ea5cd8cca6174783b13f9 Mon Sep 17 00:00:00 2001 From: Swrup Date: Mon, 28 Feb 2022 18:35:16 +0100 Subject: [PATCH] small fix --- src/babillard.ml | 28 ++++++++++++++-------------- src/pp_babillard.ml | 2 +- src/user.ml | 6 +++--- 3 files changed, 18 insertions(+), 18 deletions(-) diff --git a/src/babillard.ml b/src/babillard.ml index a1fe055..b83c635 100644 --- a/src/babillard.ml +++ b/src/babillard.ml @@ -225,22 +225,22 @@ end let () = let tables = - [ Q.create_post_user_table - ; Q.create_thread_info_table - ; Q.create_thread_post_table - ; Q.create_post_replies_table - ; Q.create_post_citations_table - ; Q.create_post_date_table - ; Q.create_post_comment_table - ; Q.create_image_info_table - ; Q.create_image_content_table - ; Q.create_post_tags_table - ; Q.create_report_table - ] + [| Q.create_post_user_table + ; Q.create_thread_info_table + ; Q.create_thread_post_table + ; Q.create_post_replies_table + ; Q.create_post_citations_table + ; Q.create_post_date_table + ; Q.create_post_comment_table + ; Q.create_image_info_table + ; Q.create_image_content_table + ; Q.create_post_tags_table + ; Q.create_report_table + |] in if - List.exists Result.is_error - (List.map (fun query -> Db.exec query ()) tables) + Array.exists Result.is_error + (Array.map (fun query -> Db.exec query ()) tables) then Dream.error (fun log -> log "can't create table") let parse_image image = diff --git a/src/pp_babillard.ml b/src/pp_babillard.ml index afc5672..b937b41 100644 --- a/src/pp_babillard.ml +++ b/src/pp_babillard.ml @@ -302,7 +302,7 @@ let feed thread_id = let* posts = get_posts ids in let posts = List.sort (fun a b -> compare b.date a.date) posts in let* last_update = - match posts with op :: _ -> Ok op.date | _ -> Error "empty thread" + match posts with [] -> Error "empty thread" | op :: _l -> Ok op.date in let entries fmt () = diff --git a/src/user.ml b/src/user.ml index 7252112..7f103ab 100644 --- a/src/user.ml +++ b/src/user.ml @@ -80,10 +80,10 @@ module Q = struct end let () = - let tables = [ Q.create_user_table; Q.create_banished_table ] in + let tables = [| Q.create_user_table; Q.create_banished_table |] in if - List.exists Result.is_error - (List.map (fun query -> Db.exec query ()) tables) + Array.exists Result.is_error + (Array.map (fun query -> Db.exec query ()) tables) then Dream.error (fun log -> log "can't create table") let exist nick = Result.is_ok (Db.find Q.get_user nick)