blob: 0a7ba929def2ca4cc1c89877d7a12fa4b6afbbf4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
(* Inspect the structure of boot events *)
open Nock_lib
let rec inspect_noun prefix noun depth =
let indent = String.make (depth * 2) ' ' in
match noun with
| Noun.Atom a ->
if Z.numbits a <= 32 then
Printf.printf "%s%sAtom: %s (0x%s)\n" indent prefix
(Z.to_string a) (Z.format "x" a)
else
Printf.printf "%s%sAtom: large (%d bits)\n" indent prefix (Z.numbits a)
| Noun.Cell (h, t) ->
Printf.printf "%s%sCell:\n" indent prefix;
inspect_noun "head: " h (depth + 1);
inspect_noun "tail: " t (depth + 1)
let rec to_list acc noun =
match noun with
| Noun.Atom _ -> List.rev acc
| Noun.Cell (item, rest) -> to_list (item :: acc) rest
let inspect_events _env =
Printf.printf "Loading solid pill...\n";
let in_channel = open_in_bin "solid.noun" in
let pill = (Marshal.from_channel in_channel : Noun.noun) in
close_in in_channel;
match pill with
| Noun.Cell (_tag, events) ->
let event_list = to_list [] events in
Printf.printf "Found %d events\n\n" (List.length event_list);
List.iteri (fun i event ->
Printf.printf "═════ EVENT %d ═════\n" i;
inspect_noun "" event 0;
Printf.printf "\n"
) event_list
| Noun.Atom _ ->
Printf.printf "✗ Pill is an atom\n"
let () =
Printf.printf "\n═══════════════════════════════════════════\n";
Printf.printf " Inspect Boot Events Structure\n";
Printf.printf "═══════════════════════════════════════════\n\n";
Eio_main.run inspect_events
|
