From b555c28c7e6c315fc0394baf213ecb08b21ed959 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 26 Sep 2026 15:35:39 -0300
Subject: further deletions on drl and prelude

---
 lib/drl/parser.ml | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 lib/drl/parser.ml

(limited to 'lib/drl/parser.ml')

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
-- 
cgit v1.2.3