[augeas-devel] Typecheck for multipart key

[Francis Giraldeau]

Hi, 

I adjusted the typecheck to allow multiple keys and labels inside a
subtree. We have to check that concat keys doesn't overlap, and that
union is disjoint. Hence: 

let lns = key /[a]*/ . key /[a]*/ => concat.get ambiguity
let lns = key "a" | label "a"     => union.put ambiguity

It's not that bad in term of typechecking performance impact, it's
basically the same (accounting for variability, I did tests only once
for both): 

baseline               : 2m42.575s
with subtree typecheck : 2m42.004s

This is the first step to get the multipart key working. Next is to
match a node label with the ktype and split parts to sublenses. 

Cheer, 

Francis


-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Subtree-lens-typecheking.patch
Type: text/x-patch
Size: 13546 bytes
Desc: not available
URL: <http://listman.redhat.com/archives/augeas-devel/attachments/20101024/05f6e2e9/attachment.bin>