You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
module A =
let lns = (value "v" . del /a/ "a")|(value "w" . del /b/ "b")
I think this lens is perfectly valid. It is bijective. But augparse rejects it with the message:
Syntax error in lens definition
/tmp/a.aug:2.0-.61:Failed to compile lns
/tmp/a.aug:2.10-.61:exception: overlapping lenses in tree union.put
Example matched by both:
First lens: /tmp/a.aug:2.10-.34:
Second lens: /tmp/a.aug:2.31-.60:
Also, please note that line Example matched by both: doesn't show any example, this is strange.
I use version of augeas included in debian sid, i. e. 1.12.0. My system is debian sid amd64
The text was updated successfully, but these errors were encountered:
I am not sure what exactly is going wrong there, but the put test below outputs a, not b, when I run it through augparse --notypecheck so something's up:
module A =
let v = (value "v" . del /a/ "a")|(value "w" . del /b/ "b")
let lns = [label "x" . v]
test lns get "a" = ?
test lns get "b" = ?
test lns put "a" after set "/x" "b" = ?
Consider this file
a.aug
:I think this lens is perfectly valid. It is bijective. But
augparse
rejects it with the message:Also, please note that line
Example matched by both:
doesn't show any example, this is strange.I use version of augeas included in debian sid, i. e. 1.12.0. My system is debian sid amd64
The text was updated successfully, but these errors were encountered: