aboutsummaryrefslogtreecommitdiffstats
path: root/lib/sublanguage_context.ml
diff options
context:
space:
mode:
authorEstevan Castilho <tevo@riajuu.net>2026-05-30 01:07:38 +0000
committerEstevan Castilho <tevo@riajuu.net>2026-05-30 01:07:38 +0000
commite9dfcfecd129ec3b3fdeb511f1ffec5e95fec212 (patch)
treed7fc4fdd674b92636a6897d7c86b9f623d2adef0 /lib/sublanguage_context.ml
parent65590d0964809f0bf1b39157b00c8c100b60e3c6 (diff)
downloadSakura-e9dfcfecd129ec3b3fdeb511f1ffec5e95fec212.tar.gz
Sakura-e9dfcfecd129ec3b3fdeb511f1ffec5e95fec212.zip
Move `make_ctx` out of the listener
Diffstat (limited to '')
-rw-r--r--lib/sublanguage_context.ml31
1 files changed, 31 insertions, 0 deletions
diff --git a/lib/sublanguage_context.ml b/lib/sublanguage_context.ml
index aca5790..39e6dd3 100644
--- a/lib/sublanguage_context.ml
+++ b/lib/sublanguage_context.ml
@@ -37,3 +37,34 @@ type t = {
switch_branch : string ->
(Sublanguage_types.transition_delta, Condition.t) result;
}
+
+module Make (NT : Nt.S) = struct
+ module Session = Session.Make (NT)
+ module Branch = Branch.Make (NT)
+
+ let make_ctx
+ (session : Session.session)
+ (claims : string)
+ : t =
+ let br = session#branch in
+ {
+ write_handle = br#branch_handle;
+ branch = (br :> branch_view);
+ resolve = br#path;
+ switch_branch = fun name ->
+ match br#close () with
+ | Error e -> Error e
+ | Ok () ->
+ begin match Branch.open_branch claims name with
+ | Error e ->
+ begin match Branch.open_branch claims "master" with
+ | Ok mbr -> session#set_branch mbr
+ | Error _ -> ()
+ end;
+ Error e
+ | Ok new_br ->
+ session#set_branch new_br;
+ Ok new_br#multigroups
+ end
+ }
+end