Fix filter bug (#322)

* Bump FsCheck from 3.3.1 to 3.3.2

---
updated-dependencies:
- dependency-name: FsCheck
  dependency-version: 3.3.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>

* Bump Nerdbank.GitVersioning from 3.8.118 to 3.9.50

---
updated-dependencies:
- dependency-name: Nerdbank.GitVersioning
  dependency-version: 3.9.50
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

* Bump WoofWare.PrattParser from 0.2.5 to 0.3.1

---
updated-dependencies:
- dependency-name: WoofWare.PrattParser
  dependency-version: 0.3.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

* Deps

* Accommodate new API

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Smaug123 <3138005+Smaug123@users.noreply.github.com>

.config/dotnet-tools.json

@@ -9,7 +9,7 @@
       ]
     },
     "fsharp-analyzers": {
-      "version": "0.32.1",
+      "version": "0.33.1",
       "commands": [
         "fsharp-analyzers"
       ]

.github/workflows/dotnet.yaml

@@ -209,12 +209,12 @@ jobs:
     - name: Pack
       run: nix develop --command dotnet pack --configuration Release
     - name: Upload NuGet artifact (lib)
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       with:
         name: nuget-package-lib
         path: WoofWare.NUnitTestRunner.Lib/bin/Release/WoofWare.NUnitTestRunner.Lib.*.nupkg
     - name: Upload NuGet artifact (tool)
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       with:
         name: nuget-package-tool
         path: WoofWare.NUnitTestRunner/bin/Release/WoofWare.NUnitTestRunner.*.nupkg
@@ -224,7 +224,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Download NuGet artifact (lib)
-        uses: actions/download-artifact@v5
+        uses: actions/download-artifact@v6
         with:
           name: nuget-package-lib
           path: packed-lib
@@ -232,7 +232,7 @@ jobs:
         # Verify that there is exactly one nupkg in the artifact that would be NuGet published
         run: if [[ $(find packed-lib -maxdepth 1 -name 'WoofWare.NUnitTestRunner.Lib.*.nupkg' -printf c | wc -c) -ne "1" ]]; then exit 1; fi
       - name: Download NuGet artifact (tool)
-        uses: actions/download-artifact@v5
+        uses: actions/download-artifact@v6
         with:
           name: nuget-package-tool
           path: packed-tool
@@ -259,7 +259,7 @@ jobs:
       contents: read
     steps:
       - name: Download NuGet artifact
-        uses: actions/download-artifact@v5
+        uses: actions/download-artifact@v6
         with:
           name: nuget-package-lib
           path: packed
@@ -278,7 +278,7 @@ jobs:
       contents: read
     steps:
       - name: Download NuGet artifact
-        uses: actions/download-artifact@v5
+        uses: actions/download-artifact@v6
         with:
           name: nuget-package-tool
           path: packed
@@ -304,7 +304,7 @@ jobs:
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
       - name: Download NuGet artifact
-        uses: actions/download-artifact@v5
+        uses: actions/download-artifact@v6
         with:
           name: nuget-package-lib
           path: packed
@@ -341,7 +341,7 @@ jobs:
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
       - name: Download NuGet artifact
-        uses: actions/download-artifact@v5
+        uses: actions/download-artifact@v6
         with:
           name: nuget-package-tool
           path: packed
@@ -372,7 +372,7 @@ jobs:
     steps:
       - uses: actions/checkout@v5
       - name: Download NuGet artifact (tool)
-        uses: actions/download-artifact@v5
+        uses: actions/download-artifact@v6
         with:
           name: ${{ matrix.artifact }}
       - name: Compute package path
@@ -408,7 +408,7 @@ jobs:
     steps:
       - uses: actions/checkout@v5
       - name: Download NuGet artifact (tool)
-        uses: actions/download-artifact@v5
+        uses: actions/download-artifact@v6
         with:
           name: ${{ matrix.artifact }}
       - name: Compute package path

Directory.Build.props

@@ -10,7 +10,7 @@
     <WarnOn>FS3388,FS3559</WarnOn>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Nerdbank.GitVersioning" Version="3.8.118" PrivateAssets="all" />
+    <PackageReference Include="Nerdbank.GitVersioning" Version="3.9.50" PrivateAssets="all" />
   </ItemGroup>
   <PropertyGroup Condition="'$(GITHUB_ACTION)' != ''">
     <ContinuousIntegrationBuild>true</ContinuousIntegrationBuild>

WoofWare.NUnitTestRunner.Lib/Filter.fs

@@ -108,7 +108,8 @@ module internal Lexer =
                         i <- i + 1
                     | _ ->
                         yield Token.single TokenType.Not startI 1
-                        i <- i + 1
+                        // Don't advance i here - we only consumed the '!' character
+                        ()
                 | Token.SingleChar token, State.Awaiting ->
                     i <- i + 1
                     yield token
@@ -162,7 +163,7 @@ module internal ParsedFilter =
 
         match token.Type with
         | TokenType.QuotedString ->
-            // +1 and -1, because the trivia contains the initial and terminal quote mark
+            // +1 to skip the initial quote; len includes the initial quote but excludes the terminal quote
             inputString.Substring (start + 1, len - 1)
             |> unescape
             |> ParsedFilter.String
@@ -196,7 +197,12 @@ module internal ParsedFilter =
                 ConsumeBeforeInitialToken = false
                 ConsumeAfterFinalToken = false
                 BoundaryTokens = [ TokenType.CloseParen ]
-                Construct = List.exactlyOne
+                Construct =
+                    fun l ->
+                        match List.tryExactlyOne l with
+                        | None -> failwith "expected exactly one token in stream"
+                        | Some None -> failwith "expected parens to have contents"
+                        | Some (Some x) -> x
             }
 
     let parse (s : string) : ParsedFilter =

WoofWare.NUnitTestRunner.Lib/WoofWare.NUnitTestRunner.Lib.fsproj

@@ -14,7 +14,7 @@
       <PackageId>WoofWare.NUnitTestRunner.Lib</PackageId>
       <TreatWarningsAsErrors>true</TreatWarningsAsErrors>
       <WarnOn>FS3559</WarnOn>
-      <WoofWareMyriadPluginVersion>9.0.2</WoofWareMyriadPluginVersion>
+      <WoofWareMyriadPluginVersion>9.0.4</WoofWareMyriadPluginVersion>
     </PropertyGroup>
 
     <ItemGroup>
@@ -54,7 +54,7 @@
       <EmbeddedResource Include="version.json" />
     </ItemGroup>
   <ItemGroup>
-    <PackageReference Include="WoofWare.PrattParser" Version="0.2.5" />
+    <PackageReference Include="WoofWare.PrattParser" Version="0.3.1" />
     <PackageReference Update="FSharp.Core" Version="6.0.1" />
     <PackageReference Include="WoofWare.DotnetRuntimeLocator" Version="0.1.12" />
     <PackageReference Include="Myriad.SDK" Version="0.8.3" PrivateAssets="all" />

WoofWare.NUnitTestRunner/WoofWare.NUnitTestRunner.Test/TestFilter.fs

@@ -123,3 +123,15 @@ module TestFilter =
     [<TestCaseSource(nameof xmlExamples)>]
     let ``XML examples`` (example : string, expected : Filter) =
         Filter.parse example |> shouldEqual expected
+
+    let negationExamples =
+        [
+            "!Name=foo", Filter.Not (Filter.Name (Match.Exact "foo"))
+            "!FullyQualifiedName=bar", Filter.Not (Filter.FullyQualifiedName (Match.Exact "bar"))
+            "!TestCategory=baz", Filter.Not (Filter.TestCategory (Match.Exact "baz"))
+        ]
+        |> List.map TestCaseData
+
+    [<TestCaseSource(nameof negationExamples)>]
+    let ``Negation examples`` (example : string, expected : Filter) =
+        Filter.parse example |> shouldEqual expected

WoofWare.NUnitTestRunner/WoofWare.NUnitTestRunner.Test/WoofWare.NUnitTestRunner.Test.fsproj

@@ -18,7 +18,7 @@
 
     <ItemGroup>
         <PackageReference Include="ApiSurface" Version="5.0.2" />
-        <PackageReference Include="FsCheck" Version="3.3.1" />
+        <PackageReference Include="FsCheck" Version="3.3.2" />
         <PackageReference Include="FsUnit" Version="7.1.1" />
         <PackageReference Include="Microsoft.NET.Test.Sdk" Version="18.0.0" />
         <PackageReference Include="NUnit" Version="4.3.2" />

WoofWare.NUnitTestRunner/WoofWare.NUnitTestRunner.fsproj

@@ -35,7 +35,7 @@
   </ItemGroup>
 
   <ItemGroup>
-    <PackageReference Include="Spectre.Console" Version="0.52.0" />
+    <PackageReference Include="Spectre.Console" Version="0.53.0" />
   </ItemGroup>
 
   <ItemGroup>

analyzers/analyzers.fsproj

@@ -10,7 +10,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageDownload Include="G-Research.FSharp.Analyzers" Version="[0.17.0]" />
+    <PackageDownload Include="G-Research.FSharp.Analyzers" Version="[0.19.0]" />
   </ItemGroup>
 
 </Project>

flake.lock

@@ -20,11 +20,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1760103332,
-        "narHash": "sha256-BMsGVfKl4Q80Pr9T1AkCRljO1bpwCmY8rTBVj8XGuhA=",
+        "lastModified": 1762361079,
+        "narHash": "sha256-lz718rr1BDpZBYk7+G8cE6wee3PiBUpn8aomG/vLLiY=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "870493f9a8cb0b074ae5b411b2f232015db19a65",
+        "rev": "ffcdcf99d65c61956d882df249a9be53e5902ea5",
         "type": "github"
       },
       "original": {

nix/deps.json

@@ -21,13 +21,13 @@
   },
   {
     "pname": "FsCheck",
-    "version": "3.3.1",
-    "hash": "sha256-k65ksdOSOGz+meRUUND+yuqJtm5ChaKuaxmRIdKzx2Y="
+    "version": "3.3.2",
+    "hash": "sha256-3ydyTGpqySynjbcWbmFVeCBnT3KDH3miPSJYJlyxrGs="
   },
   {
     "pname": "fsharp-analyzers",
-    "version": "0.32.1",
-    "hash": "sha256-le6rPnAF7cKGBZ2w8H2u9glK+6rT2ZjiAVnrkH2IhrM="
+    "version": "0.33.1",
+    "hash": "sha256-vYXvqnf3en487svFv3CmNl24SolwMYzu6zKKGXNxSu8="
   },
   {
     "pname": "FSharp.Core",
@@ -211,8 +211,8 @@
   },
   {
     "pname": "Nerdbank.GitVersioning",
-    "version": "3.8.118",
-    "hash": "sha256-Hmyy0ZKOmwN4zIhI4+MqoN8geZNc1sd033aZJ6APrO8="
+    "version": "3.9.50",
+    "hash": "sha256-BiBfXwr8ob2HTaFk2L5TwAgtvd/EPoqudSI9nhAjQPI="
   },
   {
     "pname": "Newtonsoft.Json",
@@ -276,8 +276,8 @@
   },
   {
     "pname": "Spectre.Console",
-    "version": "0.52.0",
-    "hash": "sha256-enGa3do7uHQFJOGha+IJZB/rlYhZDvLYbNYgZ4B5V8g="
+    "version": "0.53.0",
+    "hash": "sha256-XnzZoDD32DZqK/tmPVaXaclJJzb25SyMLzQ7xX3XLQw="
   },
   {
     "pname": "System.Collections.Immutable",
@@ -341,8 +341,8 @@
   },
   {
     "pname": "TypeEquality",
-    "version": "0.3.0",
-    "hash": "sha256-V50xAOzzyUJrY+MYPRxtnqW5MVeATXCes89wPprv1r4="
+    "version": "0.4.2",
+    "hash": "sha256-YxK6BGHjcuP76j5BbTDi814jxGqOevQSgS00IJcjZSA="
   },
   {
     "pname": "WoofWare.DotnetRuntimeLocator",
@@ -351,8 +351,8 @@
   },
   {
     "pname": "WoofWare.Myriad.Plugins",
-    "version": "9.0.2",
-    "hash": "sha256-qSrNtRFMhqeZJGgWbTr5hPR1bi4WFpyX2/OABgDTzFM="
+    "version": "9.0.4",
+    "hash": "sha256-fVahNM2SOvG159Wz6+uBkrl3+jqVtRUhZsZ2Kl2VCfk="
   },
   {
     "pname": "WoofWare.Myriad.Plugins.Attributes",
@@ -361,12 +361,12 @@
   },
   {
     "pname": "WoofWare.PrattParser",
-    "version": "0.2.5",
-    "hash": "sha256-6+74AMxVIBa5rYO34Hlm02zPtRSvpcvUA6cqeYB3WoQ="
+    "version": "0.3.1",
+    "hash": "sha256-y1m9gTNH1ECDHSFpjWBDkJz7uAQmzp64eGIW3d7hoZQ="
   },
   {
     "pname": "WoofWare.Whippet.Fantomas",
-    "version": "0.6.3",
-    "hash": "sha256-FkW/HtVp8/HE2k6d7yFpnJcnP3FNNe9kGlkoIWmNgDw="
+    "version": "0.6.4",
+    "hash": "sha256-ScZ7EEcxLvXyam2ZVqDK58QlK3RcePWghzRvtLLLdZI="
   }
 ]