bound queries from sakurasakura-karuta-contract

1 files changed, 8 insertions, 8 deletions

diff --git a/tools/driver/main.ml b/tools/driver/main.ml
index 662032c..d22baf0 100644
--- a/tools/driver/main.ml
+++ b/tools/driver/main.ml
@@ -1,5 +1,5 @@
 (* Boots a BEAM node on a directory of .beam images (Karuta's runtime
-   plus compiled modules), lets their rnt_init/0 register programs, and
+   plus compiled modules), lets their rnt-init closures register programs, and
    reads them back through the kernel.
 
    dune exec ./tools/driver/main.exe -- <image directory> *)
@@ -20,8 +20,8 @@ let mount_fol root =
   let* _ = Kernel.Path.update root Kernel.Path.this "system" None (Some system) in
   Ok ()
 
-(* {Module, Function, Beam, #{Attribute => <<"string">>}} as term_to_binary. *)
-let image directory module_ function_ heading =
+(* {Module, Beam, #{Attribute => <<"string">>}} as term_to_binary. *)
+let image directory module_ heading =
   let beam =
     In_channel.with_open_bin (Filename.concat directory (module_ ^ ".beam")) In_channel.input_all
   in
@@ -31,8 +31,8 @@ let image directory module_ function_ heading =
     Buffer.add_int32_be buffer (Int32.of_int (String.length s));
     Buffer.add_string buffer s
   in
-  List.iter (Buffer.add_uint8 buffer) [131; 104; 4];
-  List.iter binary [module_; function_; beam];
+  List.iter (Buffer.add_uint8 buffer) [131; 104; 3];
+  List.iter binary [module_; beam];
   Buffer.add_uint8 buffer 116;
   Buffer.add_int32_be buffer (Int32.of_int (List.length heading));
   List.iter (fun name -> binary name; binary "string") heading;
@@ -53,7 +53,7 @@ let print title relation =
 
 let run directory root =
   let* () = mount_fol root in
-  (* Boots erl on the images; the handshake runs every rnt_init/0. *)
+  (* Boots erl on the images; the handshake runs every rnt-init. *)
   let* () = Beam.register root [directory] in
   let* listing = Kernel.Path.lookup root program in
   let* names =
@@ -74,14 +74,14 @@ let run directory root =
   (* 2. A beam program that itself issues a FOL plan back to RNT. *)
   let* titles =
     Kernel.Program.load root ~evaluator:"karuta:beam"
-      ~source:(image directory "librarian" "titles" ["title"])
+      ~source:(image directory "librarian" ["title"])
   in
   let* relation =
     Protocols.Handle.releasing titles (fun () ->
         let* executable = Protocols.Executable.require titles in
         Protocols.Executable.invoke executable [] ~within:root )
   in
-  print "librarian:titles (BEAM -> RNT fol -> BEAM main):" relation
+  print "librarian's query (BEAM -> RNT fol -> BEAM main):" relation
 
 let () =
   Sys.set_signal Sys.sigpipe Sys.Signal_ignore;