update formatting and align test cases

Author: baronfel

src/FsAutoComplete.Core/DocumentationFormatter.fs

@@ -309,7 +309,7 @@ module DocumentationFormatter =
         if String.IsNullOrWhiteSpace formattedParam then
           formattedParam
         else
-          "(requires " + formattedParam + " )"
+          "(requires " + formattedParam + ")"
       else
         ""
 
@@ -379,7 +379,7 @@ module DocumentationFormatter =
             if String.IsNullOrWhiteSpace formattedParam then
               formattedParam
             else
-              "(requires " + formattedParam + " )"
+              "(requires " + formattedParam + ")"
 
           if paramConstraint = retTypeConstraint then
             paddedParam

src/FsAutoComplete.Core/SignatureFormatter.fs

@@ -42,9 +42,10 @@ module SignatureFormatter =
 
   let rec formatFSharpType (context: FSharpDisplayContext) (typ: FSharpType) : string =
     let context = context.WithPrefixGenericParameters()
-
+    let nullabilityClause = if typ.HasNullAnnotation || typ.IsNullAmbivalent then " | null" else ""
     try
-      if typ.IsTupleType || typ.IsStructTupleType then
+      if typ.IsTupleType || typ.IsStructTupleType
+      then
         let refTupleStr =
           typ.GenericArguments
           |> Seq.map (fun arg ->
@@ -59,7 +60,7 @@ module SignatureFormatter =
         else
           refTupleStr
       elif typ.IsGenericParameter then // no longer need to differentiate between SRTP and normal generic parameter types
-        "'" + typ.GenericParameter.Name
+        "'" + typ.GenericParameter.Name + nullabilityClause
       elif typ.HasTypeDefinition && typ.GenericArguments.Count > 0 then
         let typeDef = typ.TypeDefinition
 
@@ -68,19 +69,19 @@ module SignatureFormatter =
 
         if entityIsArray typeDef then
           if typ.GenericArguments.Count = 1 && typ.GenericArguments.[0].IsTupleType then
-            sprintf "(%s) array" genericArgs
+            $"(%s{genericArgs}) array%s{nullabilityClause}"
           else
-            sprintf "%s array" genericArgs
+            $"%s{genericArgs} array%s{nullabilityClause}"
         elif isMeasureType typeDef then
-          typ.Format context
+          typ.Format context + nullabilityClause
         else
-          sprintf "%s<%s>" (FSharpKeywords.NormalizeIdentifierBackticks typeDef.DisplayName) genericArgs
+          $"%s{FSharpKeywords.NormalizeIdentifierBackticks typeDef.DisplayName}<%s{genericArgs}>%s{nullabilityClause}"
       else if typ.HasTypeDefinition then
-        FSharpKeywords.NormalizeIdentifierBackticks typ.TypeDefinition.DisplayName
+        FSharpKeywords.NormalizeIdentifierBackticks typ.TypeDefinition.DisplayName + nullabilityClause
       else
-        typ.Format context
+        typ.Format context + nullabilityClause
     with _ ->
-      typ.Format context
+      typ.Format context + nullabilityClause
 
   let formatGenericParameter includeMemberConstraintTypes displayContext (param: FSharpGenericParameter) =
 
@@ -357,7 +358,7 @@ module SignatureFormatter =
             if String.IsNullOrWhiteSpace formattedParam then
               formattedParam
             else
-              "(requires " + formattedParam + " )"
+              "(requires " + formattedParam + ")"
 
           if paramConstraint = retTypeConstraint then
             paramFormat

test/FsAutoComplete.Tests.Lsp/CoreTests.fs

@@ -523,8 +523,8 @@ let tooltipTests state =
             13u
             (concatLines
               [ "val inline add:"
-                "   x: 'a (requires static member ( + ) ) ->"
-                "   y: 'b (requires static member ( + ) )"
+                "   x: 'a (requires static member ( + )) ->"
+                "   y: 'b (requires static member ( + ))"
                 "   -> 'c" ])
           //verify rendering of solved generic constraints in tooltips for members where they are solved
           verifyDescription "solved generic parameters are called out in tooltip"
@@ -548,15 +548,9 @@ let tooltipTests state =
             60u
             7u
             (concatLines
-#if NET8_0
-              [ "active pattern Value: "
-                "   input: Expr"
-                "       -> option<obj * System.Type>" ])
-#else
               [ "active pattern Value: "
                 "   input: Expr"
                 "       -> option<objnull * System.Type>" ])
-#endif
           verifySignature "generic constraint rendering for IWSAM"
             77u
             5u
@@ -570,7 +564,7 @@ let tooltipTests state =
             25u
              (concatLines [
                 "static member GetAwaiter:"
-                "   awaitable: 'Awaitable (requires member GetAwaiter )"
+                "   awaitable: 'Awaitable (requires member GetAwaiter)"
                 "           -> Awaiter<^Awaiter,'TResult> (requires :> ICriticalNotifyCompletion and member IsCompleted and member GetResult)"
              ])
           verifySignature "basic active pattern"
@@ -584,47 +578,41 @@ let tooltipTests state =
             70u
             7u
             (concatLines
-#if NET8_0
-              [ "active pattern ValueWithName: "
-                "   input: Expr"
-                "       -> option<obj * System.Type * string>" ])
-#else
               [ "active pattern ValueWithName: "
                 "   input: Expr"
                 "       -> option<objnull * System.Type * string>" ])
-#endif
           verifySignature "interface with members with and without parameter names"
             96u
             7u
             (concatLines
               [ "interface IWithAndWithoutParamNames"
                 "  abstract member WithParamNames: arg1: int * arg2: float -> string"
                 "  abstract member WithoutParamNames: int * string -> int" ])
-          verifySignature "function with unsolved nullable parameter" 100u 7u (concatLines [
+          verifySignature "function with unsolved nullable parameter" 102u 7u (concatLines [
             "val usesNullable:"
-            "  x: 't | null"
-            "  -> 't (requires reference )"
+            "   x: 't | null"
+            "   -> 't (requires reference)"
           ])
 
-          verifySignature "function with concrete nullable parameter" 101u 7u (concatLines [
+          verifySignature "function with concrete nullable parameter" 103u 7u (concatLines [
             "val usesConcreteNullable:"
             "   x: string | null"
-            "   -> String (requires reference )"
+            "   -> String"
           ])
-          verifySignature "function with generic nullable return" 102u 7u (concatLines [
+          verifySignature "function with generic nullable return" 104u 7u (concatLines [
             "val makesNullable:"
-            "   x: 'x (requires reference)"
-            "   -> 'x | null"
+            "   x: 'x"
+            "   -> 'x | null (requires reference)"
           ])
-          verifySignature "function with concrete nullable return" 103u 7u (concatLines [
+          verifySignature "function with concrete nullable return" 105u 7u (concatLines [
             "val makesConcreteNullable:"
             "   x: string"
             "   -> string | null"
           ])
-          verifySignature "function with nullable return from BCL call" 104u 7u (concatLines [
+          verifySignature "function with nullable return from BCL call" 106u 7u (concatLines [
             "val usesBCLNullable:"
             "   key: string"
-            "   -> string | null"
+            "     -> string | null"
           ])] ]
 
 let closeTests state =

test/FsAutoComplete.Tests.Lsp/TestCases/Tooltips/Script.fsx

@@ -98,6 +98,8 @@ type IWithAndWithoutParamNames =
     abstract member WithParamNames : arg1: int * arg2: float -> string
     abstract member WithoutParamNames : int * string -> int
 
+#nullable enable
+
 let usesNullable (x: 't | null) = nonNull x
 let usesConcreteNullable (x: string | null) = nonNull x
 let makesNullable (x: 'x): 'x | null = null