Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
p:catch order #597
Currently the specs say:
Because no code can be repeated, I do not see why implementations are restricted to consider p:catch-elements in document order (and how this can be tested).
Proposal: Remove the restriction "document order".