Update to 7.0.4xx FCS versions

[baronfel]

WHAT

🤖 Generated by Copilot at dbdb1a0

This pull request updates the FsAutoComplete project to use the latest version of the FSharp.Compiler.Service dependency and makes some improvements to the F# checker, lexer, and code generation features. It modifies several files in the src/FsAutoComplete.Core folder to handle the new syntax and type information, performance parameters, and language version support.

🤖 Generated by Copilot at dbdb1a0

FSharp.Compiler.Service
Updated for performance
Autumn of bug fixes

✨⚡🔧

WHY

Release day! kermitflail.gif

HOW

🤖 Generated by Copilot at dbdb1a0

• Updated the FSharp.Compiler.Service dependency to version 43.7.400 to use the latest features and bug fixes of the F# compiler service. (link)
• Modified the FSharpChecker.Create function call to use additional parameters for parallel reference resolution, capture identifiers when parsing, and use syntax tree cache. These parameters are intended to improve the performance and accuracy of the F# checker. (link)
• Refactored the tokenizeLine function to use active patterns to extract the define and langversion arguments from the args array. The langversion argument was also passed to the FSharpSourceTokenizer constructor to support different F# language versions. These changes are intended to make the code more readable and flexible. (link)
• Added or updated the range of the tuple type parameter in the SynPat.Tuple pattern match cases in InlayHints.fs, UnionPatternMatchCaseGenerator.fs, and UntypedAstUtils.fs. This parameter was added in the FSharp.Compiler.Service 43.7.400 version and is needed to correctly handle the tuple type information. (link, link, link)
• Removed the SynSimplePats.Typed pattern match cases from the walkSimplePats function in UntypedAstUtils.fs, as they are no longer used in the FSharp.Compiler.Service 43.7.400 version. The SynSimplePats.SimplePats cases were also updated to include the range of the simple pattern list parameter. These changes are intended to simplify the code and align with the latest F# compiler service API. (link, link)

[TheAngryByrd]

We're enabling this in Ionide via a config flag using an envvar. Could pass this along instead https://github.com/ionide/ionide-vscode-fsharp/blob/main/src/Core/LanguageService.fs#L714

[TheAngryByrd]

I guess tangentially, how much of this stuff should we expose via config?

[baronfel]

We can progressively add it where there's no clear answer so that users can unblock themselves/try things out. I'll add it here for example. Something like enablePartialTypeChecking though has rules that we can infer/follow - e.g. any analyzers auto-disable the feature.

[baronfel]

This'll probably be red for a few mroe days until I finish cherry-picking fixes from nightly over.

[baronfel]

my general plan for the failing tests is:

• I know nightly has fixes for the failing tests
• this branch is different from nightly, because nightly has fallen behind merges from main
• I'm going to merge main to nightly to pick up feature fixes/contributions, and the diff/compare/merge nightly to this branch (because it should be a smaller diff at that point.

[baronfel]

Ok, I think this should be just about ready to go now. Before this merges we'll need to make a new ProjInfo, and hopefully unblock the upper version bound on that project - I'd rather not merge + release this until we're off of the prerelease of ProjInfo.

[baronfel]

Green! I'll work on projinfo and try to get a new stable with fixed version ranges out.

[nojaf]

Thanks Chet!

[TheAngryByrd]

Paket Lock Diff Report

This report was generated via Paket Lock Diff

Additions - (0)

Removals - (0)

Version Upgrades - (14)

• Main - (14)
  • Patch - (3)
    • FSharp.Compiler.Service - 43.7.300 -> 43.7.400
    • FSharp.Core - 7.0.300 -> 7.0.400
    • IcedTasks - 0.5.3 -> 0.5.4
  • Minor - (4)
    • Ionide.ProjInfo - 0.61.3 -> 0.62.0-nightly001
    • Ionide.ProjInfo.FCS - 0.61.3 -> 0.62.0-nightly001
    • Ionide.ProjInfo.ProjectSystem - 0.61.3 -> 0.62.0-nightly001
    • Microsoft.Build.Framework - 17.4.0 -> 17.6.3
  • Major - (7)
    • Microsoft.Win32.SystemEvents - 6.0.1 -> 7.0.0
    • System.Collections.Immutable - 6.0.0 -> 7.0.0
    • System.Diagnostics.DiagnosticSource - 6.0.0 -> 7.0.2
    • System.Drawing.Common - 6.0.0 -> 7.0.0
    • System.Reflection.Metadata - 6.0.1 -> 7.0.0
    • System.Security.Permissions - 6.0.0 -> 7.0.0
    • System.Windows.Extensions - 6.0.0 -> 7.0.0

Version Downgrades - (0)

---

@baronfel any concerns with those majors updating for net6.0 deploys?

[nojaf]

Kinda cute that FCS is considered a patch 😸

[baronfel]

Re: 7.0 floats we don't really have an option here - FCS itself requires them. I did check them and the libraries themselves despite having 7.0 version numbers target the net6.0 TFM (and our test are passing when forcing net6.0) so I'm not incredibly worried.

[baronfel]

New ProjInfo packages are pushed, waiting for indexing on NuGet.org, then I'll update here and we'll see if tests are still green.

[baronfel]

Ok, all green! Time to merge this buckaroo!