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/error.ml | 35 ----------------------------------- 1 file changed, 35 deletions(-) delete mode 100644 lib/error.ml (limited to 'lib/error.ml') diff --git a/lib/error.ml b/lib/error.ml deleted file mode 100644 index 4f1cecd..0000000 --- a/lib/error.ml +++ /dev/null @@ -1,35 +0,0 @@ -(** Error types for manipulation operations *) -type t = - | RelationNotFound of string - | RelationAlreadyExists of string - | TupleNotFound of Conventions.Hash.t - | DuplicateTuple of Conventions.Hash.t - | ConstraintViolation of string - | StorageError of string - | UnrecognizedSublanguage of string - | MalformedExpression of Sexplib.Sexp.t - (* TODO: think of a better way to manage and serialize sublanguage errors *) - | SublanguageError of Sexplib.Sexp.t - | Conflict of {old_db: Management.Multigroup.multigroup; new_db: Management.Multigroup.multigroup} - | SyntaxError of string - | MultigroupNotFound of string - -let sexp_of_error e = - let open Sexplib.Sexp in - let error e ps = List (Atom e :: ps) in - let ( <+> ) key value = List [Atom key; value] in - match e with - (* TODO: think of a subset of common attributes that every error should have (message, etc)? *) - | RelationNotFound s -> error "relation-not-found" ["relation" <+> Atom s] - | RelationAlreadyExists s -> error "relation-already-exists" ["relation" <+> Atom s] - | TupleNotFound h -> error "tuple-not-found" ["hash" <+> Atom h] - | DuplicateTuple h -> error "duplicate-tuple" ["hash" <+> Atom h] - | ConstraintViolation s -> error "constraint-violation" ["message" <+> Atom s] - | StorageError s -> error "storage-error" ["message" <+> Atom s] - | UnrecognizedSublanguage s -> error "unrecognized-sublanguage" ["tag" <+> Atom s] - | MalformedExpression s -> error "malformed-expression" ["expression" <+> s] - | SublanguageError s -> error "sublanguage-error" ["error" <+> s] - | SyntaxError s -> error "syntax-error" ["message" <+> Atom s] - | MultigroupNotFound s -> error "multigroup-not-found" ["name" <+> Atom s] - | Conflict {old_db; new_db} -> - error "conflict" ["old" <+> Atom old_db#name; "new" <+> Atom new_db#name] -- cgit v1.2.3