Closed glyn closed 1 year ago
@cabo: This draft PR may not be complete, but it's at least a start.
@cabo: This PR is still very much a work in progress. I've started to explore a type system for function extension arguments and return values. I think a Singular Nodelist subtype of Nodelist may be the way to go. Singular Nodelists then fit where Singular Paths are allowed. (General) Nodelists can go anywhere a path is allowed. We may want to scrap this PR and make clean start, but at least this will serve as working notes for now.
I have reworked this PR substantially and addressed the comments. I will submit it as a new PR so the comments can start from scratch.
Define syntactic validity requirements for function expressions.