From 59dd901fbe76fc1dfc2d0fd3b725c47735f4bb1c Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 22 Mar 2026 00:33:50 -0300 Subject: 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 --- lib/envelope.ml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 lib/envelope.ml (limited to 'lib/envelope.ml') diff --git a/lib/envelope.ml b/lib/envelope.ml new file mode 100644 index 0000000..d8404d9 --- /dev/null +++ b/lib/envelope.ml @@ -0,0 +1,18 @@ +(** Envelope parser for tagged S-expressions. + + Parses commands of the form (tag payload...) where the tag selects + which sublanguage handles the payload. The tag set is open — future + sublanguages (tcl, ppl, acl) just add new tags. *) + +type tagged = { tag : string; payload : Sexplib.Sexp.t } + +let parse (input : string) : (tagged, string) Result.t = + match Sexplib.Sexp.of_string input with + | Sexplib.Sexp.List (Sexplib.Sexp.Atom tag :: rest) -> + let payload = match rest with + | [single] -> single + | many -> Sexplib.Sexp.List many + in + Ok { tag; payload } + | _ -> Error "expected (tag payload...)" + | exception exn -> Error (Printexc.to_string exn) -- cgit v1.2.3