Sublanguages improvement & Coq experiment (#53)

* separation and functor for sublanguages

* add coq experiment for termination

* fix tests with envelopes

* add timestamp and print responses to server on terminal

* remove coq experiment for trivial cases and rework gate

* refactor nesting with let*

* remove non-envelope sublang support and tests on server

* manip_err duplication purge and better format as s-expr

* abstract storage with dispatch for sublanguages

* dead code and minor refactor due to old non-envelope parsing on subl

* refactor server to use proper dml alg error and wire ephem relations

* remove (schema)

* change .gitignore to blacklist folders

1 files changed, 18 insertions, 0 deletions

diff --git a/lib/manipulation.ml b/lib/manipulation.ml
index 73607fa..be77c02 100644
--- a/lib/manipulation.ml
+++ b/lib/manipulation.ml
@@ -23,6 +23,24 @@ type error =
   | ConstraintViolation of string
   | StorageError of string
 
+let string_of_error = function
+  | RelationNotFound s      -> "RelationNotFound: " ^ s
+  | RelationAlreadyExists s -> "RelationAlreadyExists: " ^ s
+  | TupleNotFound h         -> "TupleNotFound: " ^ h
+  | DuplicateTuple h        -> "DuplicateTuple: " ^ h
+  | ConstraintViolation s   -> "ConstraintViolation: " ^ s
+  | StorageError s          -> "StorageError: " ^ s
+
+let sexp_of_error e =
+  let open Sexplib.Sexp in
+  match e with
+  | RelationNotFound s      -> List [Atom "relation-not-found";      Atom s]
+  | RelationAlreadyExists s -> List [Atom "relation-already-exists"; Atom s]
+  | TupleNotFound h         -> List [Atom "tuple-not-found";         Atom h]
+  | DuplicateTuple h        -> List [Atom "duplicate-tuple";         Atom h]
+  | ConstraintViolation s   -> List [Atom "constraint-violation";    Atom s]
+  | StorageError s          -> List [Atom "storage-error";           Atom s]
+
 (** Result type for operations *)
 type 'a result = ('a, error) Result.t