Update FSharp.Compiler.Service and FSharp.Core to the '9' versions

ionide · Nov 13, 2024 · d26202d · d26202d
1 parent b8aca73
commit d26202d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/Directory.Packages.props b/Directory.Packages.props
@@ -5,8 +5,8 @@
   </PropertyGroup>
   <ItemGroup>
     <PackageVersion Include="CliWrap" Version="3.6.4" />
-    <PackageVersion Include="FSharp.Core" Version="[8.0.400]" />
-    <PackageVersion Include="FSharp.Compiler.Service" Version="[43.8.400]" />
+    <PackageVersion Include="FSharp.Core" Version="[9.0.100]" />
+    <PackageVersion Include="FSharp.Compiler.Service" Version="[43.9.100]" />
     <PackageVersion Include="Ionide.KeepAChangelog.Tasks" Version="0.1.8" PrivateAssets="all" />
     <PackageVersion Include="McMaster.NETCore.Plugins" Version="1.4.0" />
     <PackageVersion Include="Argu" Version="6.1.1" />

diff --git a/src/FSharp.Analyzers.SDK/ASTCollecting.fs b/src/FSharp.Analyzers.SDK/ASTCollecting.fs
@@ -136,6 +136,7 @@ module ASTCollecting =
             | SynTypeConstraint.WhereTyparIsReferenceType(t, _)
             | SynTypeConstraint.WhereTyparIsUnmanaged(t, _)
             | SynTypeConstraint.WhereTyparSupportsNull(t, _)
+            | SynTypeConstraint.WhereTyparNotSupportsNull(t, _, _)
             | SynTypeConstraint.WhereTyparIsComparable(t, _)
             | SynTypeConstraint.WhereTyparIsEquatable(t, _) -> walkTypar path t
             | SynTypeConstraint.WhereTyparDefaultsToType(t, ty, _)
@@ -245,6 +246,8 @@ module ASTCollecting =
             | SynType.StaticConstant _ -> ()
             | SynType.StaticConstantExpr _ -> ()
             | SynType.StaticConstantNamed _ -> ()
+            | SynType.StaticConstantNull _ -> ()
+            | SynType.WithNull(innerType, _, _, _) -> walkType nextPath innerType
             | SynType.Paren(innerType, _) -> walkType nextPath innerType
             | SynType.SignatureParameter(usedType = t; range = _) -> walkType nextPath t
             | SynType.Or(lhsType = lhs; rhsType = rhs) ->