diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-03-27 07:56:04 +0600 | 
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-03-27 07:56:04 +0600 | 
| commit | 8855202f9ee4769b20d36cda8d0e4e20b9c31a2d (patch) | |
| tree | cb8fc65f13ffdef4cea67994eeae51153aedc00c /src | |
| parent | 543409e6acfb9851e3fc1d78f4ba6b34b3bebc60 (diff) | |
| download | vyconf-8855202f9ee4769b20d36cda8d0e4e20b9c31a2d.tar.gz vyconf-8855202f9ee4769b20d36cda8d0e4e20b9c31a2d.zip | |
Use cons instead of append for inserstions by default.
Diffstat (limited to 'src')
| -rw-r--r-- | src/vytree.ml | 4 | 
1 files changed, 2 insertions, 2 deletions
| diff --git a/src/vytree.ml b/src/vytree.ml index 1f046dc..8c64fc6 100644 --- a/src/vytree.ml +++ b/src/vytree.ml @@ -22,7 +22,7 @@ let children_of_node node = node.children  let insert_immediate node name data =      let new_node = make name data in -    let children' = node.children @ [new_node] in +    let children' = new_node :: node.children in      { node with children = children' }  let delete_immediate node name = @@ -30,7 +30,7 @@ let delete_immediate node name =      { node with children = children' }  let adopt node child = -    { node with children = (node.children @ [child]) } +    { node with children = child :: node.children }  let replace node child =      let children = node.children in | 
