Merge v7 work

.github/workflows/grammar-validator.yaml

@@ -13,7 +13,7 @@ on:
 
 jobs:
   grammar-validator:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-latest
     env:
       DOTNET_NOLOGO: true
 

.github/workflows/markdownlint.yml

@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - draft-v6
+      - draft-v7
     paths:
       - "standard/*.md"
       - ".markdownlint.json"
@@ -30,7 +31,7 @@ jobs:
     - name: Use Node.js
       uses: actions/setup-node@56899e050abffc08c2b3b61f3ec6a79a9dc3223d #@v1
       with:
-        node-version: 12.x
+        node-version: 14.x
     - name: Run Markdownlint
       run: |
         echo "::add-matcher::.github/workflows/markdownlint-problem-matcher.json"

.github/workflows/quest.yml

@@ -0,0 +1,68 @@
+name: "quest import"
+on:
+  issues:
+    types:
+      [ labeled, closed, reopened, assigned, unassigned ]
+  pull_request:
+    types:
+      [ labeled, closed, assigned, unassigned ]
+  workflow_dispatch:
+    inputs:
+      reason:
+        description: "The reason for running the workflow"
+        required: true
+        default: "Manual run"
+      issue:
+        description: "The issue number to manually test"
+        required: true
+
+jobs:
+  import:
+    if: |
+      github.event_name == 'workflow_dispatch' ||
+      github.event.label.name == 'reQUEST' ||
+      github.event.label.name == 'seQUESTered' ||
+      contains(github.event.issue.labels.*.name, 'reQUEST') ||
+      contains(github.event.issue.labels.*.name, 'seQUESTered')
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+      issues: write
+
+    steps:
+      - name: "Print manual run reason"
+        if: ${{ github.event_name == 'workflow_dispatch' }}
+        run: |
+          echo "Reason: ${{ github.event.inputs.reason }}"
+          echo "Issue number: ${{ github.event.inputs.issue }}"
+
+      # This step occurs when ran manually, passing the manual issue number input
+      - name: manual-sequester
+        if: ${{ github.event_name == 'workflow_dispatch' }}
+        id: manual-sequester
+        uses: dotnet/docs-tools/actions/sequester@main
+        env:
+          ImportOptions__ApiKeys__GitHubToken: ${{ secrets.GITHUB_TOKEN }}
+          ImportOptions__ApiKeys__OSPOKey: ${{ secrets.OSPO_KEY }}
+          ImportOptions__ApiKeys__QuestKey: ${{ secrets.QUEST_KEY }}
+        with:
+          org: ${{ github.repository_owner }}
+          repo: ${{ github.repository }}
+          issue: ${{ github.event.inputs.issue }}
+          branch: ${{ github.ref_name }}
+
+      # This step occurs automatically, passing the issue number from the event
+      - name: auto-sequester
+        if: ${{ github.event_name != 'workflow_dispatch' }}
+        id: auto-sequester
+        uses: dotnet/docs-tools/actions/sequester@main
+        env:
+          ImportOptions__ApiKeys__GitHubToken: ${{ secrets.GITHUB_TOKEN }}
+          ImportOptions__ApiKeys__OSPOKey: ${{ secrets.OSPO_KEY }}
+          ImportOptions__ApiKeys__QuestKey: ${{ secrets.QUEST_KEY }}
+        with:
+          org: ${{ github.repository_owner }}
+          repo: ${{ github.repository }}
+          issue: ${{ github.event.issue.number }}
+          branch: ${{ github.ref_name }}
+

.github/workflows/renumber-sections.yaml

@@ -13,7 +13,7 @@ on:
 
 jobs:
   renumber-sections:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-latest
     env:
       DOTNET_NOLOGO: true
 

.github/workflows/test-examples.yaml

@@ -0,0 +1,34 @@
+name: Test examples
+
+# Triggers the workflow on pull request events that update the branch
+on: 
+  pull_request:
+    types: [opened, synchronize, reopened]
+    paths:
+      - '/standard/*.md'
+  workflow_dispatch:
+    inputs:
+      reason:
+        description: 'The reason for running the workflow'
+        required: true
+        default: 'Manual run'
+
+jobs:
+  test-extraction-and-runner:
+    runs-on: ubuntu-latest
+    env:
+      DOTNET_NOLOGO: true
+
+    steps:
+    - name: Check out our repo
+      uses: actions/checkout@v2
+
+    - name: Setup .NET 6.0
+      uses: actions/setup-dotnet@v1
+      with:
+        dotnet-version: 6.0.x
+
+    - name: Extract and validate tests
+      run: |
+        cd tools
+        ./test-examples.sh

.github/workflows/tools-tests.yaml

@@ -16,8 +16,8 @@ on:
         default: 'Manual run'
 
 jobs:
-  word-converter:
-    runs-on: ubuntu-18.04
+  run-unit-tests:
+    runs-on: ubuntu-latest
     env:
       DOTNET_NOLOGO: true
 

.github/workflows/update-on-merge.yaml

@@ -5,7 +5,8 @@ name: Update spec on merge
 on: 
   push:
     branches:
-      - draft-v6 
+      - draft-v6
+      - draft-v7
   workflow_dispatch:
     inputs:
       reason:

.github/workflows/word-converter.yaml

@@ -13,7 +13,7 @@ on:
 
 jobs:
   word-converter:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-latest
     env:
       DOTNET_NOLOGO: true
 

README.md

@@ -9,9 +9,13 @@ This project has adopted the code of conduct defined by the Contributor Covenant
 
 ## C# Language Specification
 
-### C# 6.0 draft
+### C# 7.0 draft
 
-The branch `draft-v6` has the draft text for C# 6.0. It has not been submitted as a formal standard to ECMA. This version is a working draft that contains the features for C# 6.0.
+The branch `draft-v7` has the draft text for C# 7.0. It has not been submitted as a formal standard to ECMA. This version is a working draft that contains the features for C# 7.0.
+
+### C# 6.0 standard
+
+The branch `standard-v6` has the ECMA C# C# 6.0 standard text, in Markdown format. For the official standard, see the [ECMA site](https://www.ecma-international.org/publications-and-standards/standards/ecma-334/).
 
 ### C# 5.0 standard
 
@@ -23,6 +27,14 @@ This version is stored in this branch as a base markdown version to compare with
 (This document is also available for download: [csharp.pdf](CSharp%20Language%20Specification.pdf?raw=true) and [csharp.docx](CSharp%20Language%20Specification.docx?raw=true))
 -->
 
+### Comments within the standard
+
+There are HTML comments (`<!-- comment -->`) within the standard for the sake of tooling. Some help in the process of converting the standard to Word, and others are for automated testing purposes.
+
+Some automated test comments refer to error codes that are specific to the Microsoft C# compiler (e.g. "CS0509") to test that compilation fails as expected, where an example presents deliberately-invalid code. These error codes are not part of the standard, and should not be viewed as any kind of compliance check for other compilers.
+
+More broadly, *no* comments should be regarded as being part of the standard itself.
+
 ## Admin folder
 
 A home for adminstrative files (such as [eventually] meeting agendas and minutes).
@@ -53,6 +65,12 @@ This tool creates the outline using section numbers, and updates all links to th
 
 Contributors that add sections should follow the guidance in our [contributor guide](CONTRIBUTING.md#how-to-add-or-remove-clauses) to ensure that links to new sections are incorporated correctly. This tool is run on each PR in a `dry-run` mode to ensure that the changes will parse correctly. When a PR is merged, the tool runs to update all section links.
 
+### ExampleExtractor and ExampleTester
+
+These two tools work in tandem to test that the examples presented work (or fail, where invalid code is presented) as expected.
+
+ExampleExtractor populates a temporary directory with code and metadata extracted from the standard. ExampleTester then compiles and runs (where applicable) that code. The test-examples.sh script provides an easy way of running both tools together.
+
 ## .NET Foundation
 
 This project is supported by the [.NET Foundation](https://dotnetfoundation.org).

admin/v6-feature-tracker.md

@@ -2,7 +2,7 @@
 
 To find out what was new/different in v6, Rex used two main sources:
 
-- The [What's New in V6](https://docs.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-6) web page
+- The [What's New in V6](https://docs.microsoft.com/dotnet/csharp/whats-new/csharp-6) web page
 - The diffs that resulted when he compared the v5std md with the v6spec md.
 
 In the latter case, he located those features that required new or changed grammar. He then found all uses of the names of grammar productions that were added/removed, so he could make adjustments to the text. As he progressed, he discovered some new features that did *not* involve grammar changes. Others have reported (small) new features as well.

admin/v7-feature-tracker.md

@@ -13,25 +13,25 @@ Version | Feature | PR | Status | Effort | Notes
 7.0 | binary integer literals ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/binary-literals.md)) | [548](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/548) | Completed | Small | Feature Group A.
 7.0 | embedded digit separators in numeric literals ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/digit-separators.md)) | [548](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/548) | Completed | Small | Feature Group A.
 7.0 | `out` variables ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/out-var.md)) | [44](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/44) | Open | Small | Feature Group B.
-7.0 | Discards ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/out-var.md)) | [44](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/44) | Open | Small | Feature Group B.
-7.0 | Tuples ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/tuples.md)) | [63](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/63) **but needs some work** | Open | Large | Feature Group C.
-7.0 | Pattern Matching ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/pattern-matching.md)) | [61](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/61) | Open | Medium | Feature Group D.
+7.0 | Discards ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/out-var.md)) | [44](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/44), [596](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/596) | Open | Small | Feature Group B.
+7.0 | Tuples ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/tuples.md)) | [63](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/63) **but needs some work**, [596](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/596) | Open | Large | Feature Group C.
+7.0 | Pattern Matching ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/pattern-matching.md)) | [61](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/61), [596](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/596) | Open | Medium | Feature Group D.
 7.0 | `ref` locals and returns ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/ref-locals-returns.md)) | [213](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/213) **but needs work** | Open | Medium | Feature Group E.
-7.0 | Local Functions ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/local-functions.md)) | [104](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/104) | Open | Small | 
+7.0 | Local Functions ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/local-functions.md)) | [104](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/104) | Completed | Small | 
 7.0 | More expression-bodied members ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/expression-bodied-everything.md)) | [69](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/69) | Completed | Small | 
-7.0 | `throw` Expressions ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/throw-expression.md)) | [65](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/65) **but needs some work** | Open | Small | 
-7.0 | Generalized `async` return types ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/task-types.md), [tutorial](https://docs.microsoft.com/en-us/dotnet/csharp/programming-guide/concepts/async/async-return-types)) | [556](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/556) **but needs some work** | Open | Small | 
-7.1 | `async Main` method ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.1/async-main.md)) | [70](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/70) | Open | Small | 
-7.1 | `default` literal expressions ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.1/target-typed-default.md)) | [236](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/236) | Open | Small | 
+7.0 | `throw` Expressions ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/throw-expression.md)) | [65](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/65) | Completed | Small | 
+7.0 | Generalized `async` return types ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.0/task-types.md), [tutorial](https://docs.microsoft.com/dotnet/csharp/programming-guide/concepts/async/async-return-types)) | [556](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/556) **but needs some work** | Open | Small | 
+7.1 | `async Main` method ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.1/async-main.md)) | [70](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/70) | Completed | Small | 
+7.1 | `default` literal expressions ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.1/target-typed-default.md)) | [236](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/236) | Completed | Small | 
 7.1 | Inferred tuple element names ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.1/infer-tuple-names.md)) | [63](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/63) **but needs some work** | Open | Large | Feature Group C.
 7.1 | Pattern matching on generic type parameters ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.1/generics-pattern-match.md)) | [61](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/61) | Open | Medium | Feature Group D.
 7.2 | leading digit separators in bin/hex integer literals ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.2/leading-separator.md)) | [548](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/548) | Completed | Small | Feature Group A.
 7.2 | Non-trailing named arguments ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.2/non-trailing-named-arguments.md)) | [216](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/216) | Open | Small | 
-7.2 | `private protected` access modifier ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.2/private-protected.md)) | [215](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/215) | Open | Small |
+7.2 | `private protected` access modifier ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.2/private-protected.md)) | [215](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/215) | Completed | Small |
 7.2 | Conditional `ref` expressions ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.2/conditional-ref.md)) | [213](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/213) **but needs work**  | Open | Medium | Feature Group E.
 7.2 | `in` parameter modifier ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.2/readonly-ref.md)) | [219](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/219) | Open | Medium | Feature Group F.
 7.2 | `ref` with `this` in extension methods ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.2/ref-extension-methods.md)) | [219](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/219) | Open | Medium | Feature Group F.
-7.2 | `readonly` structs ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.2/readonly-struct.md)) | [333](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/333) | Open | Small | 
+7.2 | `readonly` structs ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.2/readonly-struct.md)) | [333](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/333) | Completed | Small | 
 7.2 | `ref` structs ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.2/span-safety.md)) | TBD | Open | Medium | 
 7.3 | indexing movable fixed buffer without pinning ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.3/indexing-movable-fixed-fields.md)) | [239](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/239) | Open | Small |  
 7.3 | reassign `ref` local variables ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.3/ref-local-reassignment.md)) | [213](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/213) **but needs work**  | Open | Medium | Feature Group E.
@@ -40,5 +40,5 @@ Version | Feature | PR | Status | Effort | Notes
 7.3 | use additional generic constraints ([MS Proposal 1](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.3/blittable.md)) ([MS proposal 2](https://github.com/dotnet/csharplang/issues/104)) ([MS proposal 3](https://github.com/dotnet/csharplang/issues/103)) | [244](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/244) | Open | Small | 
 7.3 | test `==` and `!=` with tuple types ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.3/tuple-equality.md)) | [63](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/63) **but needs some work** | Open | Large | Feature Group C.
 7.3 | use expression variables in more locations ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.3/expression-variables-in-initializers.md)) | [44](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/44), [61](https://github.com/ECMA-TC49-TG2/csharpstandard/pull/61) | Open | Medium | Feature Group B and D.
-7.3 | attach attributes to the backing field of auto-implemented properties ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.3/auto-prop-field-attrs.md)) | [262](https://github.com/dotnet/csharpstandard/pull/262) | Open | Small | 
-7.3 | overload resolution now has fewer ambiguous cases ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.3/improved-overload-candidates.md)) | [263](https://github.com/dotnet/csharpstandard/pull/263) | Open | Small | 
+7.3 | attach attributes to the backing field of auto-implemented properties ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.3/auto-prop-field-attrs.md)) | [262](https://github.com/dotnet/csharpstandard/pull/262) | Completed | Small | 
+7.3 | overload resolution now has fewer ambiguous cases ([MS Proposal](https://github.com/dotnet/csharplang/blob/main/proposals/csharp-7.3/improved-overload-candidates.md)) | [263](https://github.com/dotnet/csharpstandard/pull/263) | Completed | Small | 

quest-config.json

@@ -0,0 +1,9 @@
+{
+    "AzureDevOps": {
+        "Org": "msft-skilling",
+        "Project": "Content",
+        "AreaPath": "Production\\Digital and App Innovation\\DotNet and more\\dotnet"
+    },
+    "ImportTriggerLabel": "reQUEST",
+    "ImportedLabel": "seQUESTered"
+}