Closed cabo closed 1 year ago
Thanks. #344 is not yet closed; completing this #353 is meant to do that. The triple dot bug was already fixed here in 084c822. For me it doesn't matter where additional comments are made.
I wonder whether we should finish this round (fixing bugs) before doing a grand renaming. I also would like some feedback on the names proposed...
well, finishing this round before going on is fine.
I think if we agree this we should merge it. Next step could be the great renaming, possibly with some further testing of the grammar. In particular, we should throw collections of JSONPath queries we can find at it. If you have pointers, I could prepare that.
Close #344 (Once completed)