From e32ba6294781691846c3ab19281fe977350b4d0f Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 15:30:53 -0300 Subject: preparation cleanup for RNT integration --- lib/dml/sublanguage.ml | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 lib/dml/sublanguage.ml (limited to 'lib/dml/sublanguage.ml') diff --git a/lib/dml/sublanguage.ml b/lib/dml/sublanguage.ml deleted file mode 100644 index 6e9d2c8..0000000 --- a/lib/dml/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 = "dml" - let parse _ = Ok () - let parse_sexp sexp = Parser.of_sexp sexp - - let execute ctx ast = - match Exec.execute ctx ast with - | Ok delta -> Ok (Sublanguage_types.Transition delta) - | Error e -> Error e -end -- cgit v1.2.3