From 77edcc15e758c79eace64bc50f00775955f9bcc8 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Thu, 2 Apr 2015 23:27:27 +0600 Subject: Reverse the order of make/make_full arguments for easier partial application. --- src/vytree.ml | 8 ++++---- src/vytree.mli | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) (limited to 'src') diff --git a/src/vytree.ml b/src/vytree.ml index 16cb379..8cc6fc5 100644 --- a/src/vytree.ml +++ b/src/vytree.ml @@ -12,16 +12,16 @@ exception Empty_path exception Duplicate_child exception Nonexistent_path -let make name data = { name = name; data = data; children = [] } +let make data name = { name = name; data = data; children = [] } -let make_full name data children = { name = name; data = data; children = children } +let make_full data name children = { name = name; data = data; children = children } let name_of_node node = node.name let data_of_node node = node.data let children_of_node node = node.children let insert_immediate node name data = - let new_node = make name data in + let new_node = make data name in let children' = new_node :: node.children in { node with children = children' } @@ -77,7 +77,7 @@ let rec insert default_data node path data = let new_node = insert default_data next_child' names data in replace node new_node | None -> - let next_child' = make name default_data in + let next_child' = make default_data name in let new_node = insert default_data next_child' names data in adopt node new_node diff --git a/src/vytree.mli b/src/vytree.mli index fbe7ac1..e990d1d 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -4,8 +4,8 @@ exception Empty_path exception Duplicate_child exception Nonexistent_path -val make : string -> 'a -> 'a t -val make_full : string -> 'a -> ('a t) list -> 'a t +val make : 'a -> string -> 'a t +val make_full : 'a -> string -> ('a t) list -> 'a t val name_of_node : 'a t -> string val data_of_node : 'a t -> 'a -- cgit v1.2.3