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

Rewrite Function Well-typedness (Section 2.6.3) to be less clunky #441

Closed cabo closed 1 year ago

cabo commented 1 year ago

Close #439

cabo commented 1 year ago

PS. Have you gone through all the combinations to check we have all the bases covered?

I actually ordered the two definition lists in the order the production appear in the grammar, so this is now easy to check (and I have checked it).