Sounds like a way forward then to both address the current concern, and improve this overall. Does this work for everybody?
Sounds good to me. I intend to add captures for `when` too, though if that requires further discussion, perhaps whoever thinks so can start up a sub-thread. Will now follow up re syntax in response to Christian’s subsequent note.
— Vern
_______________________________________________ zeek-dev mailing list -- zeek-dev@lists.zeek.org To unsubscribe send an email to zeek-dev-le...@lists.zeek.org
