summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2015-09-28 21:49:05 +0600
committerDaniil Baturin <daniil@baturin.org>2015-09-28 21:49:05 +0600
commit0e7c85bd1129c698aa65f25ebbbf52b1268b62c8 (patch)
treef7c6bd1af68f41a17e930342c50e9d74719bdd74
parentf50401c6bdfb205f34de3d04949fbaf3cd6876f8 (diff)
downloadvyconf-0e7c85bd1129c698aa65f25ebbbf52b1268b62c8.tar.gz
vyconf-0e7c85bd1129c698aa65f25ebbbf52b1268b62c8.zip
Remove the value field from message types to account for valueless nodes and the like.
-rw-r--r--src/message.ml3
-rw-r--r--src/message.mli1
2 files changed, 2 insertions, 2 deletions
diff --git a/src/message.ml b/src/message.ml
index 8f37c08..ec28922 100644
--- a/src/message.ml
+++ b/src/message.ml
@@ -1,7 +1,8 @@
+exception Invalid_operation of string
+
type operation = {
method_name: string;
path: string list option;
- value: string option;
options: (string * string) list option
} [@@deriving yojson]
diff --git a/src/message.mli b/src/message.mli
index 6de77b7..af92d67 100644
--- a/src/message.mli
+++ b/src/message.mli
@@ -1,7 +1,6 @@
type operation = {
method_name: string;
path: string list option;
- value: string option;
options: (string * string) list option
}