From cf0fffed43d0ca7618cd0013411151e057b7a32a Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 18 May 2026 12:35:26 -0300 Subject: RNT interface Co-authored-by: Estevan Castilho --- lib/vcl/executor.ml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 lib/vcl/executor.ml (limited to 'lib/vcl/executor.ml') diff --git a/lib/vcl/executor.ml b/lib/vcl/executor.ml new file mode 100644 index 0000000..5f3dd49 --- /dev/null +++ b/lib/vcl/executor.ml @@ -0,0 +1,21 @@ +module Make (NT : Nt.S) = struct + type error = + | ParseError of string + | NtError of Nt.error + + let sexp_of_error e = + let open Sexplib.Sexp in + match e with + | ParseError s -> List [ Atom "parse-error"; Atom s ] + | NtError e -> List [ Atom "nt-error"; Atom (Nt.string_of_error e) ] + + let execute (ctx : Sublanguage_context.t) (stmt : Ast.statement) : + (Sublanguage_types.result, error) result = + match stmt with + | Ast.Use branch_name -> + match ctx.switch_branch branch_name with + | Ok delta -> Ok (Sublanguage_types.Transition delta) + | Error e -> Error (NtError e) + + let _ = (module NT : Nt.S) +end -- cgit v1.2.3