Cut the arg-parser generator over to the embedded runtime

CHANGELOG.md

@@ -1,5 +1,10 @@
 Notable changes are recorded here.
 
+# WoofWare.Myriad.Plugins 10.1.1
+
+Fixes a number of bugs in the `ArgParserGenerator` by extracting the "untyped" logic into a standalone module.
+The generated code changes substantially, but the only behaviour changes you should observe are correctness fixes.
+
 # WoofWare.Myriad.Plugins 10.0.1
 
 The `JsonSerializeGenerator` now requires `System.Text.Json` at version at least 8, to accommodate `JsonNode.DeepClone`.

ConsumePlugin/Args.fs

@@ -107,6 +107,23 @@ type ParentRecord =
         AndAnother : bool
     }
 
+type ChildRecordWithDefault =
+    {
+        [<ArgumentDefaultFunction>]
+        FromFunction : Choice<int, int>
+    }
+
+    /// The default-function convention resolves against the record which declares the field,
+    /// not against the [<ArgParser>]-tagged root.
+    static member DefaultFromFunction () = 97
+
+[<ArgParser true>]
+type ParentRecordChildDefault =
+    {
+        Child : ChildRecordWithDefault
+        AndAnother : bool
+    }
+
 type ChildRecordWithPositional =
     {
         Thing1 : int
@@ -191,6 +208,17 @@ type ManyLongForms =
         SomeFlag : bool
     }
 
+[<ArgParser true>]
+type AliasedPositionals =
+    {
+        Count : int
+
+        [<PositionalArgs>]
+        [<ArgumentLongForm "rest">]
+        [<ArgumentLongForm "remainder">]
+        Others : string list
+    }
+
 [<RequireQualifiedAccess>]
 type private IrrelevantDu =
     | Foo
@@ -259,3 +287,11 @@ type WithMultilineTypeHelp =
         OutputDir : string
         Force : bool
     }
+
+/// Regression test: the pre-rewrite generator produced uncompilable code for a non-positional
+/// list of booleans (its accumulator was a ResizeArray but the flag machinery assumed an option).
+[<ArgParser>]
+type NonPositionalBoolList =
+    {
+        Flags : bool list
+    }

ConsumePlugin/ConsumePlugin.fsproj

@@ -100,17 +100,14 @@
     <Compile Include="GeneratedArgParserNegationTests.fs">
       <MyriadFile>ArgParserNegationTests.fs</MyriadFile>
     </Compile>
+    <Compile Include="Nested/Args.fs" />
+    <Compile Include="Nested/GeneratedArgs.fs">
+      <MyriadFile>Nested/Args.fs</MyriadFile>
+    </Compile>
     <Compile Include="OpensLeakRegression.fs" />
     <Compile Include="GeneratedOpensLeakRegression.fs">
       <MyriadFile>OpensLeakRegression.fs</MyriadFile>
     </Compile>
-    <!-- Not compiled, because by design they *don't* compile. That makes them very hard to test in an automated way! -->
-    <None Include="ArgParserConflictTests.fs" />
-    <!-- To run the conflict tests:
-    <Compile Include="GeneratedArgParserConflictTests.fs">
-      <MyriadFile>ArgParserConflictTests.fs</MyriadFile>
-    </Compile>
-    -->
     <None Include="swagger-gitea.json" />
     <Compile Include="GeneratedSwaggerGitea.fs">
       <MyriadFile>swagger-gitea.json</MyriadFile>