diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-05-30 01:07:38 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-05-30 01:07:38 +0000 |
| commit | e9dfcfecd129ec3b3fdeb511f1ffec5e95fec212 (patch) | |
| tree | d7fc4fdd674b92636a6897d7c86b9f623d2adef0 /lib/sublanguage_context.ml | |
| parent | 65590d0964809f0bf1b39157b00c8c100b60e3c6 (diff) | |
| download | Sakura-e9dfcfecd129ec3b3fdeb511f1ffec5e95fec212.tar.gz Sakura-e9dfcfecd129ec3b3fdeb511f1ffec5e95fec212.zip | |
Move `make_ctx` out of the listener
Diffstat (limited to '')
| -rw-r--r-- | lib/sublanguage_context.ml | 31 |
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 |
