> 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 _______________________________________________ augeas-devel mailing list [email protected] https://www.redhat.com/mailman/listinfo/augeas-devel
