diff options
Diffstat (limited to 'lib/drl/parser.ml')
| -rw-r--r-- | lib/drl/parser.ml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/lib/drl/parser.ml b/lib/drl/parser.ml deleted file mode 100644 index abb3070..0000000 --- a/lib/drl/parser.ml +++ /dev/null @@ -1,17 +0,0 @@ -module Error = struct - open Condition - - let parse_error msg = condition "parse-error" msg empty -end - -let of_sexp sexp = - match Ast.query_of_sexp sexp with - | q -> Ok q - | exception exn -> Error (Error.parse_error (Printexc.to_string exn)) - -let of_string s = - match Sexplib.Sexp.of_string s |> Ast.query_of_sexp with - | q -> Ok q - | exception exn -> Error (Error.parse_error (Printexc.to_string exn)) - -let to_string q = Ast.sexp_of_query q |> Sexplib.Sexp.to_string_hum |