use refs for config instead of functor

Author: thatportugueseguy

.serena/cache/ocaml/document_symbols_cache_v23-06-25.pkl

@@ -0,0 +1,68 @@
+# language of the project (csharp, python, rust, java, typescript, go, cpp, or ruby)
+#  * For C, use cpp
+#  * For JavaScript, use typescript
+# Special requirements:
+#  * csharp: Requires the presence of a .sln file in the project folder.
+language: ocaml
+
+# whether to use the project's gitignore file to ignore files
+# Added on 2025-04-07
+ignore_all_files_in_gitignore: true
+# list of additional paths to ignore
+# same syntax as gitignore, so you can use * and **
+# Was previously called `ignored_dirs`, please update your config if you are using that.
+# Added (renamed) on 2025-04-07
+ignored_paths: []
+
+# whether the project is in read-only mode
+# If set to true, all editing tools will be disabled and attempts to use them will result in an error
+# Added on 2025-04-18
+read_only: false
+
+
+# list of tool names to exclude. We recommend not excluding any tools, see the readme for more details.
+# Below is the complete list of tools for convenience.
+# To make sure you have the latest list of tools, and to view their descriptions, 
+# execute `uv run scripts/print_tool_overview.py`.
+#
+#  * `activate_project`: Activates a project by name.
+#  * `check_onboarding_performed`: Checks whether project onboarding was already performed.
+#  * `create_text_file`: Creates/overwrites a file in the project directory.
+#  * `delete_lines`: Deletes a range of lines within a file.
+#  * `delete_memory`: Deletes a memory from Serena's project-specific memory store.
+#  * `execute_shell_command`: Executes a shell command.
+#  * `find_referencing_code_snippets`: Finds code snippets in which the symbol at the given location is referenced.
+#  * `find_referencing_symbols`: Finds symbols that reference the symbol at the given location (optionally filtered by type).
+#  * `find_symbol`: Performs a global (or local) search for symbols with/containing a given name/substring (optionally filtered by type).
+#  * `get_current_config`: Prints the current configuration of the agent, including the active and available projects, tools, contexts, and modes.
+#  * `get_symbols_overview`: Gets an overview of the top-level symbols defined in a given file.
+#  * `initial_instructions`: Gets the initial instructions for the current project.
+#     Should only be used in settings where the system prompt cannot be set,
+#     e.g. in clients you have no control over, like Claude Desktop.
+#  * `insert_after_symbol`: Inserts content after the end of the definition of a given symbol.
+#  * `insert_at_line`: Inserts content at a given line in a file.
+#  * `insert_before_symbol`: Inserts content before the beginning of the definition of a given symbol.
+#  * `list_dir`: Lists files and directories in the given directory (optionally with recursion).
+#  * `list_memories`: Lists memories in Serena's project-specific memory store.
+#  * `onboarding`: Performs onboarding (identifying the project structure and essential tasks, e.g. for testing or building).
+#  * `prepare_for_new_conversation`: Provides instructions for preparing for a new conversation (in order to continue with the necessary context).
+#  * `read_file`: Reads a file within the project directory.
+#  * `read_memory`: Reads the memory with the given name from Serena's project-specific memory store.
+#  * `remove_project`: Removes a project from the Serena configuration.
+#  * `replace_lines`: Replaces a range of lines within a file with new content.
+#  * `replace_symbol_body`: Replaces the full definition of a symbol.
+#  * `restart_language_server`: Restarts the language server, may be necessary when edits not through Serena happen.
+#  * `search_for_pattern`: Performs a search for a pattern in the project.
+#  * `summarize_changes`: Provides instructions for summarizing the changes made to the codebase.
+#  * `switch_modes`: Activates modes by providing a list of their names
+#  * `think_about_collected_information`: Thinking tool for pondering the completeness of collected information.
+#  * `think_about_task_adherence`: Thinking tool for determining whether the agent is still on track with the current task.
+#  * `think_about_whether_you_are_done`: Thinking tool for determining whether the task is truly completed.
+#  * `write_memory`: Writes a named memory (for future reference) to Serena's project-specific memory store.
+excluded_tools: []
+
+# initial prompt for the project. It will always be given to the LLM upon activating the project
+# (contrary to the memories, which are loaded on demand).
+initial_prompt: ""
+
+project_name: "passage"

.serena/project.yml

@@ -1,4 +1,4 @@
-open Passage.Make (Passage.Default_config)
+open Passage
 open Validation
 open Prompt
 

bin/comment_input.ml

@@ -294,13 +294,13 @@ module Get = struct
       | Some m -> Qrc_fmt.pp_utf_8_half ~invert:true Format.std_formatter m
 
     let save_to_clipboard_exn ~secret =
-      let read_clipboard () = Shell.xclip_read_clipboard Config.x_selection in
+      let read_clipboard () = Shell.xclip_read_clipboard !Config.x_selection in
       let copy_to_clipboard s =
-        try Shell.xclip_copy_to_clipboard s ~x_selection:Config.x_selection
+        try Shell.xclip_copy_to_clipboard s ~x_selection:!Config.x_selection
         with exn -> Exn.fail ~exn "E: could not copy data to the clipboard"
       in
       let restore_clipboard original_content =
-        let () = Unix.sleep Config.clip_time in
+        let () = Unix.sleep !Config.clip_time in
         let current_content = read_clipboard () in
         (* It might be nice to programatically check to see if klipper exists,
            as well as checking for other common clipboard managers. But for now,
@@ -338,7 +338,7 @@ module Get = struct
         match save_to_clipboard_exn ~secret with
         | `Child -> ()
         | `Forked _ ->
-          Devkit.eprintfn "Copied %s to clipboard. Will clear in %d seconds." (show_name secret_name) Config.clip_time
+          Devkit.eprintfn "Copied %s to clipboard. Will clear in %d seconds." (show_name secret_name) !Config.clip_time
       with exn -> Shell.die ~exn "E: failed to save to clipboard! Check if you have an X server running."
   end
 
@@ -688,11 +688,11 @@ module Rm = struct
     let rm_result ~path ~force =
       let is_directory = Path.is_directory (Path.abs path) in
       let string_path = show_path path in
-      if force then Commands.Storage.Secrets.rm ~is_directory path
+      if force then Storage.Secrets.rm ~is_directory path
       else (
         match yesno_tty_check (sprintf "Are you sure you want to delete %s?" string_path) with
-        | NoTTY | TTY true -> Commands.Storage.Secrets.rm ~is_directory path
-        | TTY false -> Commands.Storage.Secrets.Skipped)
+        | NoTTY | TTY true -> Storage.Secrets.rm ~is_directory path
+        | TTY false -> Storage.Secrets.Skipped)
     in
     try Commands.Rm.rm_secrets ~verbose ~paths ~force ~f:rm_result with Failure s -> Shell.die "%s" s
 

bin/main.ml

@@ -1,5 +1,5 @@
 (** User prompt and input utilities *)
-open Passage.Make (Passage.Default_config)
+open Passage
 
 open Util.Show
 

bin/prompt.ml

@@ -1,5 +1,5 @@
 (** Retry utilities for operations that may fail *)
-open Passage.Make (Passage.Default_config)
+open Passage
 
 (** Generic retry function for any operation *)
 let rec retry_with_prompt ~operation ~error_message ~prompt_message =

bin/retry.ml

@@ -1,41 +1,34 @@
-module StringFresh = Devkit.Fresh (String) ()
+module Key = struct
+  include Devkit.Fresh (String) ()
 
-module With_config (Config : Types.Config) = struct
-  module Shell = Shell.With_config (Config)
-  module Key = struct
-    include StringFresh
-
-    let from_identity_file f = inject @@ Shell.age_get_recipient_key_from_identity_file f
-  end
-
-  type recipient = {
-    name : string;
-    keys : Key.t list;
-  }
+  let from_identity_file f = inject @@ Shell.age_get_recipient_key_from_identity_file f
+end
 
-  let ext = "age"
+type recipient = {
+  name : string;
+  keys : Key.t list;
+}
 
-  let recipient_compare a b = String.compare a.name b.name
+let ext = "age"
 
-  let is_group_recipient r = String.starts_with ~prefix:"@" r
+let recipient_compare a b = String.compare a.name b.name
 
-  let get_recipients_keys recipients = List.concat_map (fun r -> r.keys) recipients
+let is_group_recipient r = String.starts_with ~prefix:"@" r
 
-  let decrypt_string ~identity_file ~silence_stderr ciphertext =
-    let stdin = Bos.OS.Cmd.in_string ciphertext in
-    let stdout = Bos.OS.Cmd.out_string ~trim:false in
-    let raw_command = Printf.sprintf "age --decrypt --identity %s" (Filename.quote identity_file) in
-    Shell.run_cmd ~stdin ~stdout ~silence_stderr raw_command
+let get_recipients_keys recipients = List.concat_map (fun r -> r.keys) recipients
 
-  let encrypt_string ~recipients plaintext =
-    let stdin = Bos.OS.Cmd.in_string plaintext in
-    let stdout = Bos.OS.Cmd.out_string in
-    let recipient_keys = get_recipients_keys recipients |> Key.project_list in
-    let recipients_arg =
-      List.map (fun key -> Printf.sprintf "--recipient %s" (Filename.quote key)) recipient_keys |> String.concat " "
-    in
-    let raw_command = Printf.sprintf "age --encrypt --armor %s" recipients_arg in
-    Shell.run_cmd ~stdin ~stdout raw_command
-end
+let decrypt_string ~identity_file ~silence_stderr ciphertext =
+  let stdin = Bos.OS.Cmd.in_string ciphertext in
+  let stdout = Bos.OS.Cmd.out_string ~trim:false in
+  let raw_command = Printf.sprintf "age --decrypt --identity %s" (Filename.quote identity_file) in
+  Shell.run_cmd ~stdin ~stdout ~silence_stderr raw_command
 
-include With_config (Default_config)
+let encrypt_string ~recipients plaintext =
+  let stdin = Bos.OS.Cmd.in_string plaintext in
+  let stdout = Bos.OS.Cmd.out_string in
+  let recipient_keys = get_recipients_keys recipients |> Key.project_list in
+  let recipients_arg =
+    List.map (fun key -> Printf.sprintf "--recipient %s" (Filename.quote key)) recipient_keys |> String.concat " "
+  in
+  let raw_command = Printf.sprintf "age --encrypt --armor %s" recipients_arg in
+  Shell.run_cmd ~stdin ~stdout raw_command