blob: 1c20c5b9b3ad7bed0c323080712b1256e656de71 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(** 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 : Sexplib.Sexp.t) : (tagged, Error.t) Result.t =
match 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 }
| s -> Error (Error.MalformedExpression s)
|
