diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/dml/sublanguage.ml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/lib/dml/sublanguage.ml b/lib/dml/sublanguage.ml index a67ec66..9648786 100644 --- a/lib/dml/sublanguage.ml +++ b/lib/dml/sublanguage.ml @@ -3,20 +3,14 @@ module Make (NT : Nt.S) = struct type configuration = unit type ast = Ast.statement - type error = Exec.error let name = "dml" 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 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 - - let sexp_of_error = Exec.sexp_of_error end |