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

Browse source
This commit is contained in:
swrup 2025-10-08 22:38:04 +02:00
parent d29c73f627
commit 85fd40c5d9
3 changed files with 86 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

7
include/gen_taler_signatures.ml
View file

@ -38,13 +38,16 @@ let parse input =
| Ok defs -> defs
| Error msg -> failwith msg
let read_file file = In_channel.with_open_bin file In_channel.input_all
let () =
let l = parse Data.content in
let content = read_file "taler_signatures.h" in
let l = parse content in
assert (List.length l = 74);
let pp ppf { name; value } =
Fmt.pf ppf "let %s : int32 = %d_l@." name value
in
Fmt.pr "%a" (Fmt.list pp) l;
Fmt.pr "%a" (Fmt.list ~sep:Fmt.nop pp) l;
()