diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-05-21 01:49:20 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-05-21 01:49:20 +0000 |
| commit | 65c533ef102ea71b8420d556ae3a9567f17effd8 (patch) | |
| tree | 90c45f7337e381659039cd885fa6e40b588dd432 /lib/vcl/executor.ml | |
| parent | d5fcf20aaa6c3b7b4d2edda8043d2d600f4ef973 (diff) | |
| download | Sakura-65c533ef102ea71b8420d556ae3a9567f17effd8.tar.gz Sakura-65c533ef102ea71b8420d556ae3a9567f17effd8.zip | |
Migrate the VCL over
Diffstat (limited to '')
| -rw-r--r-- | lib/vcl/executor.ml | 18 |
1 files changed, 4 insertions, 14 deletions
diff --git a/lib/vcl/executor.ml b/lib/vcl/executor.ml index 5f3dd49..4ac5eff 100644 --- a/lib/vcl/executor.ml +++ b/lib/vcl/executor.ml @@ -1,21 +1,11 @@ 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 = + (Sublanguage_types.result, Condition.t) 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) + Result.map + (fun delta -> Sublanguage_types.Transition delta) + (ctx.switch_branch branch_name) let _ = (module NT : Nt.S) end |
