diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-05-11 23:10:27 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-05-11 23:10:27 -0300 |
| commit | e3d3e20dfea253de291d5b31059cd55c0eaabf02 (patch) | |
| tree | 82cf0d46ea3768171c8a87630cab5011d1ccf2a1 /lib/dcl/sublanguage.ml | |
| parent | 4fdf3392868c72ff4c33b70d165a177e97f2fece (diff) | |
| download | Sakura-e3d3e20dfea253de291d5b31059cd55c0eaabf02.tar.gz Sakura-e3d3e20dfea253de291d5b31059cd55c0eaabf02.zip | |
Multigroup unified reference for hierarchical access
Diffstat (limited to '')
| -rw-r--r-- | lib/dcl/sublanguage.ml | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/lib/dcl/sublanguage.ml b/lib/dcl/sublanguage.ml deleted file mode 100644 index 34d4c62..0000000 --- a/lib/dcl/sublanguage.ml +++ /dev/null @@ -1,29 +0,0 @@ -module Make (Storage : Management.Physical.S with type error = string) = struct - module Exec = Executor.Make (Storage) - - type configuration = unit - type storage = Storage.t - type ast = Ast.statement - type error = Exec.error - - let name = "dcl" - let parse _ = Ok () - - let parse_sexp sexp = - match Parser.of_sexp sexp with - | Ok r -> Ok r - | Error (Parser.ParseError s) -> Error (Exec.ParseError s) - - let execute storage db ast = - match Exec.execute storage db ast with - | Ok (Exec.DbResult (db, _)) -> Ok (Sublanguage_types.Transition db) - | Ok (Exec.Switch multigroup) -> - Ok (Sublanguage_types.SessionSwitch multigroup) - | Ok (Exec.NewMultigroup name) -> - Ok (Sublanguage_types.CreateMultigroup name) - | Error e -> Error e - - let sexp_of_error = Exec.sexp_of_error -end - -module Memory = Make (Management.Physical.Memory) |
