diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-22 05:36:25 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-22 05:36:25 +0600 |
| commit | 79d3355b943f077b5e864177e1f14fbed3454cf9 (patch) | |
| tree | b37de031a907ca3b944c3669efbb7f2fb18564d9 /src | |
| parent | 7c02dc2a949798a3fea3dbcce5a63888a3f10f51 (diff) | |
| download | vyconf-79d3355b943f077b5e864177e1f14fbed3454cf9.tar.gz vyconf-79d3355b943f077b5e864177e1f14fbed3454cf9.zip | |
Revert "Make multi-value and single-value leaf nodes separate things."
Looks like it was a bad idea.
This reverts commit 7c02dc2a949798a3fea3dbcce5a63888a3f10f51.
Diffstat (limited to 'src')
| -rw-r--r-- | src/vytree.ml | 2 | ||||
| -rw-r--r-- | src/vytree.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/vytree.ml b/src/vytree.ml index ec48848..728e26d 100644 --- a/src/vytree.ml +++ b/src/vytree.ml @@ -6,7 +6,7 @@ type 'a t = { type position = Before of string | After of string | Default -type node_type = Leaf_single | Leaf_multi | Tag | Other +type node_type = Leaf | Tag | Other exception Empty_path exception Duplicate_child diff --git a/src/vytree.mli b/src/vytree.mli index c04087a..cebbcde 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -7,7 +7,7 @@ exception Insert_error of string type position = Before of string | After of string | Default -type node_type = Leaf_single | Leaf_multi | Tag | Other +type node_type = Leaf | Tag | Other val make : 'a -> string -> 'a t val make_full : 'a -> string -> ('a t) list -> 'a t |