[augeas-devel] XML put ambiguity

[Francis Giraldeau]

> The ambiguity is that a tree node with empty value can either match an
> argument OR an element. I was thinking that it would be possible to
> disambiguate based on the value side, but a NULL and empty string
> overlap. It's shown by this lens:
> 
> module Empty = 
> (* test if NULL and empty nodes are conflicting *)
> 
> let a = [ key /[a]/ . del /[b]*/ "b" ]
> let b = [ key /[a]/ . store /[b]*/ ]
> 
> let z = a | b

Oups, my mistake, to get the "put" ambiguity, here is the lens: 

module Empty = 
(* test if NULL and empty nodes are conflicting *)

let a = [ key /[a]/ . del "a" "a" ]
let b = [ key /[a]/ . store /[b]*/ ]

let z = a | b


Francis