<div dir="ltr">On Fri, Oct 30, 2015 at 4:13 AM, Mol, Xavier (SCC) <<a href="mailto:xavier.mol@kit.edu">xavier.mol@kit.edu</a>> wrote:<br>> let match = [ Util.del_opt_ws . key  Rx.word . Sep.space_equal . (store Rx.word)? . Util.comment_or_eol ]<br>><br>> I haven't tested this, since you did not give a real word example either, so try it for yourself.<br><br>Hi,<br><br>    let match = [ Util.del_opt_ws "" . key  Rx.word . Sep.space_equal . Util.comment_or_eol ]<br><br>That is ambiguous concatenation - I removed "(store Rx.word)?" for clarity.<br><br>In the put direction augeas differentiates lenses using child nodes, and nodes using key/value properties. This isn't documented and caused me lots of grief. For example<br>    lenses, ambiguous:      [ (del "a" "a") | (del "b" "b") ]<br>    lenses, unambiguous:    [ (del "a" "a") | (del "b" "b" . [ label "bleh" ]) ]<br>    nodes, ambiguous:       [ label "a" . store /a/ ] | [ label "a" . store /a/ . del / / " " ]<br>    nodes, unambiguous:     [ label "a" . store /a/ ] | ([ label "a" . store /a/ . del / / " " ] . [ label "bleh" ])<br>    nodes, unambiguous:     [ label "a" . store /a/ ] | [ label "a" . del / / " " ]<br>This isn't some theoretical limitation, but a shortcoming of augeas.<br><br>In the above examples, creating null placeholder nodes renders lenses unusable in the put direction [1], but unnecessary for this particular problem. The solution - move the node ambiguities to the lens level, and the lens ambiguities to the node level.<br><br>These equivalent statements are both ambiguous:<br>    Node-level ambiguities:<br>    let record  = [ key . spaces? . equal . spaces? ]<br>                | [ key . spaces? . equal . spaces? . comment ]<br>                | [ key . spaces? . equal . spaces? . value ]<br>                | [ key . spaces? . equal . spaces? . value . spaces? . comment ]<br><br>    Lens-level ambiguities:<br>    let record  = [ key . spaces? . equal . spaces? . (comment | value | (value . spaces? . comment))?<br><br>Merge the node-level ambiguities to create a lens without ambiguities:<br>    let record  = [ key . spaces? . equal . spaces? . comment? ]<br>                | [ key . spaces? . equal . spaces? . value . (spaces . comment)? ] <br><br>Note the flattened equivalent still has lens-level ambiguities:<br>    let record  = [ key . spaces? . equal . spaces? . (comment? | value . (spaces? . comment)?)<br><br>Anyway, the non-ambiguous version can be made easier to use via a constructor, and the default valueless placeholder changed from "key = " to "key =":<br>    let spaces              = /[ \t]+/ " "<br>    let spaces_none         = del /[ \t]*/ ""<br>    let recorder<br>        (prefix:lens)       =<br>        let template<br>            (suffix:lens)   = [ prefix . key . spaces? . equal . suffix ] in<br>        let suffix_empty    = spaces_none | (spaces? . comment) in<br>        let suffix_value    = spaces? . value . (spaces? . comment)? in<br>        let records         = template suffix_empty | template suffix_value in<br>        records<br><br>But the version I want is actually:<br>    let record  = [ key . spaces? . equal . spaces_none ]<br>                | [ key . spaces? . equal . spaces? . comment ]<br>                | [ key . spaces? . equal . spaces? . value . spaces_none ]<br>                | [ key . spaces? . equal . spaces? . value . spaces? . comment ]<br><br>Which simplifies to:<br>    let record  = [ key . spaces? . equal . (spaces_none | (spaces? . comment)) ]<br>                | [ key . spaces? . equal . spaces? . value (spaces_none | (spaces? . comment)) ]<br><br>And then, nicely without ambiguities, to:<br>    let record  = [ key . spaces? . equal . (spaces? . value)? . (spaces_none | (spaces? . comment) ]<br><br>I'm going to update my ConfigObj lenses soon with functional examples.<br><br>Sincerely,<br><br>[1] @augeas-devs: placeholder nodes that are ignored in the put direction would be *extremely* useful. Drawing inspiration from perl regexes, perhaps using modifier syntax such as "[?>lens]".<br></div>