aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dcl/sublanguage.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dcl/sublanguage.ml')
-rw-r--r--lib/dcl/sublanguage.ml29
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)