Use built in Argu GetResults

jet · Dec 13, 2023 · 4136867 · 4136867
1 parent 76eec78
commit 4136867
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/tools/Propulsion.Tool/Infrastructure.fs b/tools/Propulsion.Tool/Infrastructure.fs
@@ -10,10 +10,6 @@ module Metrics =
     /// Allow logging to filter out emission of log messages whose information is also surfaced as metrics
     let logEventIsMetric e = Serilog.Filters.Matching.WithProperty(PropertyTag).Invoke e
 
-type Argu.ParseResults<'T when 'T :> Argu.IArgParserTemplate> with
-
-    member x.GetResult([<ReflectedDefinition>] e: Quotations.Expr<'Fields -> 'T>, f: unit -> 'Fields) = x.TryGetResult e |> Option.defaultWith f
-
 module EnvVar =
 
     let tryGet = System.Environment.GetEnvironmentVariable >> Option.ofObj

diff --git a/tools/Propulsion.Tool/Propulsion.Tool.fsproj b/tools/Propulsion.Tool/Propulsion.Tool.fsproj
@@ -28,7 +28,7 @@
   <ItemGroup>
     <PackageReference Include="MinVer" Version="4.2.0" PrivateAssets="All" />
 
-	<PackageReference Include="Argu" Version="6.1.1" />
+	<PackageReference Include="Argu" Version="6.1.3" />
     <!-- Required or there'll be an exception at runtime re missing support DLLs when using RBAC -->
     <PackageReference Include="AWSSDK.SecurityToken" Version="3.7.1.177" />
     <!-- Required for AWS SSO resolution -->