diff options
Diffstat (limited to 'lib/ddl/sublanguage.ml')
| -rw-r--r-- | lib/ddl/sublanguage.ml | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/lib/ddl/sublanguage.ml b/lib/ddl/sublanguage.ml deleted file mode 100644 index da3ba3a..0000000 --- a/lib/ddl/sublanguage.ml +++ /dev/null @@ -1,15 +0,0 @@ -module Make (NT : Nt.S) = struct - module Exec = Executor.Make (NT) - - type configuration = unit - type ast = Ast.statement - - let name = "ddl" - let parse _ = Ok () - let parse_sexp sexp = Parser.of_sexp sexp - - let execute ctx ast = - match Exec.execute ctx ast with - | Ok (delta, _msg) -> Ok (Sublanguage_types.Transition delta) - | Error e -> Error e -end |
