Improve !show

ushitora-anqou · Sep 7, 2023 · ac5b17e · ac5b17e
1 parent 1098db8
commit ac5b17e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/verifier.ml b/lib/verifier.ml
@@ -45,8 +45,9 @@ let verify_notes pool notes =
            | Loader.Show sql -> (
                match Datastore.(query (prepare con sql) []) with
                | Error msg -> failwithf "Error !show: %s\n" msg
+               | Ok [] | Ok [ [ Null ] ] -> ()
                | Ok [ [ Text s ] ] -> Printf.printf "%s\n" s
-               | _ -> failwith "Error !show: invalid result")
+               | _ -> failwithf "Error !show: invalid result:\n%s" sql)
            | Assert sql -> (
                match Datastore.(query (prepare con sql) []) with
                | Error msg -> failwithf "Error !assert: %s\n" msg