swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

! pg query rm join

Browse source
This commit is contained in:
swrup 2026-01-24 06:54:33 +01:00
parent 96a047670c
commit eaf9d7cb56
2 changed files with 5 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/pg.ml
View file

@ -39,15 +39,12 @@ let preflight =
in
fun (module Conn : CONN) -> Syntax.list_iter (fun p -> Conn.exec p ()) l
(* TODO revoked_sig
check left join *)
(* TODO revocation master_sig *)
let find_signkey =
let find_signkey =
Caqti_type.(eddsa_pub ->? signkey_data)
"SELECT exchange_pub, valid_from, expire_sign, expire_legal, \
exchange_sign_keys.master_sig, signkey_revocations.master_sig FROM \
exchange_sign_keys WHERE exchange_pub=$1 LEFT JOIN signkey_revocations \
USING (esk_serial)"
"SELECT exchange_pub, valid_from, expire_sign, expire_legal, master_sig, \
NULL FROM exchange_sign_keys WHERE exchange_pub=$1"
in
fun (module Conn : CONN) (exchange_pub : EddsaPublicKey.t) ->
Conn.find_opt find_signkey exchange_pub
@ -73,7 +70,7 @@ let insert_signkey =
in
fun (module Conn : CONN) v -> Conn.exec insert_signkey v
(* TODO revokation master_sig *)
(* TODO revocation master_sig *)
let find_denom =
let find_denom =
Caqti_type.(denomination_hash ->? denom_data)