From 8f5a9291647d53dd3a912853f5c230cdcb13cb74 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Wed, 7 Oct 2026 23:29:38 -0300
Subject: scope and source for evaluators

---
 lib/kernel/Source.ml | 82 +++++++++++++++++++++++++++++++++-------------------
 1 file changed, 52 insertions(+), 30 deletions(-)

(limited to 'lib/kernel/Source.ml')

diff --git a/lib/kernel/Source.ml b/lib/kernel/Source.ml
index e5de6e8..16d2b04 100644
--- a/lib/kernel/Source.ml
+++ b/lib/kernel/Source.ml
@@ -1,14 +1,32 @@
-let program ~language text =
+let blob text = Concepts.Blob.blob_of_bytes (Bytes.of_string text)
+
+let stored_text ~language text =
+  EphemeralRelation.Stored {evaluator= language; code= blob text; name= None}
+
+let program ~language text = Prototype.mixture [stored_text ~language text]
+
+let view ~language ~heading text =
   Prototype.mixture
-    [ EphemeralRelation.Stored
-        {evaluator= language; code= Concepts.Blob.blob_of_bytes (Bytes.of_string text)} ]
+    [ stored_text ~language text;
+      Protocols.Schematics.make
+        object
+          method describe () = Ok (Protocols.Schematics.Relation heading)
+        end ]
+
+let stored handle =
+  EphemeralRelation.stored handle
+  |> Option.map (fun (evaluator, code, name) ->
+      evaluator, Bytes.to_string (Concepts.Blob.bytes_of_blob code), name )
 
-let text handle =
-  Protocols.Handle.into handle (function
-    | EphemeralRelation.Stored {evaluator; code} ->
-        Some (evaluator, Bytes.to_string (Concepts.Blob.bytes_of_blob code))
-    | _ -> None )
-  |> Option.map (fun i -> Protocols.Handle.invoke i Fun.id)
+let text handle = Option.map (fun (evaluator, text, _) -> evaluator, text) (stored handle)
+
+let reference evaluator =
+  match String.rindex_opt evaluator ':' with
+  | None -> "system", evaluator
+  | Some i ->
+      String.sub evaluator 0 i, String.sub evaluator (i + 1) (String.length evaluator - i - 1)
+
+let language_of evaluator = snd (reference evaluator)
 
 module Error = struct
   open Concepts.Condition
@@ -21,12 +39,12 @@ module Error = struct
     condition "foreign-program" "An evaluator was given source in another language"
       ("language" |=| Concepts.Value.String language & "given" |=| Concepts.Value.String given)
 
-  let no_evaluator language =
-    condition "no-evaluator" "No evaluator is registered for the language"
-      ("language" |=| Concepts.Value.String language)
+  let no_evaluator evaluator =
+    condition "no-evaluator" "No evaluator is registered under that name"
+      ("evaluator" |=| Concepts.Value.String evaluator)
 end
 
-let evaluator ~language run =
+let evaluator ~language ?view run =
   Protocols.Handle.make
     object (self)
       inherit Lifecycle.null
@@ -35,34 +53,38 @@ let evaluator ~language run =
       method protocols : Protocols.Handle.protocol list = [Protocols.Evaluator.make self]
 
       method invoke program ~within =
-        match text program with
+        match stored program with
         | None -> Error (Error.not_a_program language)
-        | Some (given, _) when given <> language -> Error (Error.foreign language given)
-        | Some (_, source) -> run ~within source
+        | Some (given, _, _) when language_of given <> language ->
+            Error (Error.foreign language given)
+        | Some (_, source, name) -> (
+          match name, view with
+          | Some name, Some view -> view ~within ~name source
+          | _ -> run ~within source )
     end
 
-let evaluators = Path.("system" @/ "evaluator" @/ this)
+let evaluators scope = Path.(scope @/ "evaluator" @/ this)
 
-let bind directory ~within language program =
+let bind root ~within evaluator program =
   let open Utilities.Result in
-  let* evaluator =
-    Path.lookup directory Path.(language @/ this)
-    |> Result.map_error (fun _ -> Error.no_evaluator language)
+  let scope, language = reference evaluator in
+  let* found =
+    Result.bind
+      (Path.lookup root (evaluators scope))
+      (fun directory -> Path.lookup directory Path.(language @/ this))
+    |> Result.map_error (fun _ -> Error.no_evaluator evaluator)
   in
   Fun.protect
-    ~finally:(fun () -> Protocols.Handle.release evaluator)
+    ~finally:(fun () -> Protocols.Handle.release found)
     (fun () ->
-      let* evaluator = Protocols.Evaluator.require evaluator in
-      Protocols.Evaluator.invoke evaluator program ~within )
+      let* found = Protocols.Evaluator.require found in
+      Protocols.Evaluator.invoke found program ~within )
 
-let run root ~language ~within source =
-  let open Utilities.Result in
-  let* directory = Path.lookup root evaluators in
-  bind directory ~within language (program ~language source)
+let run root ~language ~within source = bind root ~within language (program ~language source)
 
-let register root ~language evaluator =
+let register root ~scope ~language evaluator =
   let open Utilities.Result in
-  let* directory = Path.lookup root evaluators in
+  let* directory = Path.lookup root (evaluators scope) in
   let* registry = Protocols.Handle.require Protocols.Registry.from directory in
   let* _ = Protocols.Registry.update registry language None (Some evaluator) in
   Ok ()
-- 
cgit v1.2.3