add tests

ionide · Nov 28, 2023 · 357635e · 357635e
1 parent 2080072
commit 357635e
Show file tree

Hide file tree

Showing 2 changed files with 39 additions and 1 deletion.
diff --git a/test/FsAutoComplete.Tests.Lsp/CoreTests.fs b/test/FsAutoComplete.Tests.Lsp/CoreTests.fs
@@ -379,7 +379,28 @@ let tooltipTests state =
                 "   body             : (MailboxProcessor<string> -> Async<unit>) *"
                 "   cancellationToken: option<System.Threading.CancellationToken>"
                 "                   -> MailboxProcessor<string>" ])
-          verifySignature 54 9 "Case2 of string * newlineBefore: bool * newlineAfter: bool" ] ]
+          verifySignature 54 9 "Case2 of string * newlineBefore: bool * newlineAfter: bool"
+          verifySignature
+            60
+            7
+            (concatLines
+              [ "active pattern Value: "
+                "   input: Expr"
+                "       -> option<obj * System.Type>" ])
+          verifySignature
+            65
+            7
+            (concatLines
+              [ "active pattern DefaultValue: "
+                "   input: Expr"
+                "       -> option<System.Type>" ])
+          verifySignature
+            70
+            7
+            (concatLines
+              [ "active pattern ValueWithName: "
+                "   input: Expr"
+                "       -> option<obj * System.Type * string>" ]) ] ]
 
 let closeTests state =
   // Note: clear diagnostics also implies clear caches (-> remove file & project options from State).

diff --git a/test/FsAutoComplete.Tests.Lsp/TestCases/Tooltips/Script.fsx b/test/FsAutoComplete.Tests.Lsp/TestCases/Tooltips/Script.fsx
@@ -53,3 +53,20 @@ let mailbox =
 type DiscUnionWithCaseOfLabeledTuple =
     | Case1
     | Case2 of string * newlineBefore: bool * newlineAfter: bool
+
+open FSharp.Quotations.Patterns
+
+let testActivePatternSignatureWithSubStringName (expr: Quotations.Expr) =
+  match expr with
+  | Value (o, t) -> (o, t)
+  | _ -> failwith "no value match"
+  |> ignore
+
+  match expr with
+  | DefaultValue t -> t
+  | _ -> failwith "no value match"
+  |> ignore
+
+  match expr with
+  | ValueWithName t -> t
+  | _ -> failwith "no value match"