Add a new chapter to define concepts related to pattern-matching.

[gafter]

I want to add a new chapter because this will get a lot more complicated
later, for example when we add recursive patterns.

This is proposed to replace #61.

[BillWagner]

Leaving notes for discussion Wednesday on how to add a chapter and ensure our tools work:

The order of clauses is defined in clauses.json for the renumbering tool. The markdown converter relies on the section numbers added by the renumbering tool.

Three other tools all have arrays of filenames in the shell scripts that run the tool:

• smarten
• update grammar annex
• validate grammar

I can take on the task to update those tools. I'll propose keying all the tools off the clauses.json file.

[BillWagner]

I do like the idea of a new clause for patterns. I had a few comments and nits, but otherwise this is great.

[jskeet]

Various comments, but I like having patterns in their own section. Let's talk in the meeting about concrete steps going from here to merged.

(This is the sort of thing where I'm a terribly judge of whether it's actually "done" or not - there are any number of paragraphs that Neal could have omitted and I'd never have noticed...)

[jskeet]

• Bill to add a commit to fix the GH Actions
• Neal can address any trivial issues
• If we can get the new xrefs working before merging, let's try to get that in
• We can then merge, and then fix any remaining nits afterwards
• If we didn't get xrefs working before, do it now.

[gafter]

Say this is a runtime concept. (Not urgent, or even necessary)

[BillWagner]

My last commit gets the section renumber tool to work correctly (once #664 is merged).

I'll make a fresh PR to get the other tools using the same config file for chapter sources

[jskeet]

I'm going to rebase this, fix the conflicts, and merge it, so that we've got it in the Word document draft. The remaining comments will still need to be addressed, but that can happen afterwards.

[BillWagner]

I'm going to rebase this, fix the conflicts, and merge it, so that we've got it in the Word document draft. The remaining comments will still need to be addressed, but that can happen afterwards.

Good plan. Can you ping me when you merge it? (@ - mention is fine). I'll likely have some downstream links to fix once it's merged, and the sections have been renumbered.

[jskeet]

@BillWagner: I've temporarily disabled the check for all conversations to be resolved (as we want to address those afterwards) but we need to get the renumbering working. Are you happy to pull this branch, fix that up and repush? I'm hoping the Word converter will work after the renumbering is done.

[BillWagner]

@BillWagner: I've temporarily disabled the check for all conversations to be resolved (as we want to address those afterwards) but we need to get the renumbering working. Are you happy to pull this branch, fix that up and repush? I'm hoping the Word converter will work after the renumbering is done.

Yes. I can do it. My comment #757 (comment) has my notes from earlier.