From f25f69c0be7f5f6741c121b00fc55ff7110144e9 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Sat, 26 Sep 2026 17:18:34 +0700 Subject: [PATCH] The comment on the prelude's macro forms says the prelude is read once. --- lib/dev.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/dev.ml b/lib/dev.ml index 6897d2a8..9c65a499 100644 --- a/lib/dev.ml +++ b/lib/dev.ml @@ -1706,9 +1706,9 @@ let macro_loc tbl name = try Hashtbl.find tbl name with Not_found -> "" (* The prelude's [defmacro] forms, read once. [Macro.prelude_macros] holds only the names and [defs] wants the parameter vectors too, so the forms are kept - here — and kept lazily for the reason that one is: [Prelude.forms] re-reads - and re-parses the whole prelude on every call, and [defs] is asked on connect - and again after every accepted evaluation. *) + here, lazily: [Prelude.forms] reads the prelude once but still rebuilds its + forms on every call, and [defs] is asked on connect and again after every + accepted evaluation. *) let prelude_macro_forms = lazy (List.filter (fun f -> Macro.macro_name f <> None) (Prelude.forms ()))