ietf-wg-jsonpath / draft-ietf-jsonpath-base

Development of a JSONPath internet draft
https://ietf-wg-jsonpath.github.io/draft-ietf-jsonpath-base/
Other
58 stars 20 forks source link

Transpose well-typedness argument/parameter conditions #451

Closed glyn closed 1 year ago

glyn commented 1 year ago

Fixes https://github.com/ietf-wg-jsonpath/draft-ietf-jsonpath-base/issues/446

glyn commented 1 year ago

Thanks for taking a crack at this.

You're welcome. The issue needed a bit of "show, don't tell".

I think it reads a lot better and now serves as a reference for users.

I currently agree, but I'd like to let this PR go "cold" for a while and then compare how this section reads relative to the main branch. Meanwhile, others may like to give their opinions.

cabo commented 1 year ago

I now ran the tests (and updated a few details with changing external tests)