fix accidental double pipe in exhaustive switch statements

CHANGELOG.md

@@ -21,6 +21,7 @@
 
 - Fix invalid range for `definition`. https://github.com/rescript-lang/rescript-vscode/pull/781
 - Don't emit object keys in uppercase as namespace. https://github.com/rescript-lang/rescript-vscode/pull/798
+- Fix accidental output of extra `|` when producing exhaustive switch code for polyvariants. https://github.com/rescript-lang/rescript-vscode/pull/805
 
 ## 1.18.0
 

analysis/src/CompletionBackEnd.ml

@@ -1672,7 +1672,7 @@ let rec processCompletable ~debug ~full ~scope ~env ~pos ~forHover completable =
                  ~cases:
                    (v.constructors
                    |> List.map (fun (constructor : polyVariantConstructor) ->
-                          "| #" ^ constructor.name
+                          "#" ^ constructor.name
                           ^
                           match constructor.args with
                           | [] -> ""

analysis/tests/src/expected/ExhaustiveSwitch.res.txt

@@ -42,7 +42,7 @@ Path withSomePol
     "detail": "insert exhaustive switch for value",
     "documentation": null,
     "filterText": "withSomePoly",
-    "insertText": "withSomePoly {\n   | | #one => ${1:failwith(\"todo\")}\n   | | #three(_) => ${2:failwith(\"todo\")}\n   | | #two => ${3:failwith(\"todo\")}\n   }",
+    "insertText": "withSomePoly {\n   | #one => ${1:failwith(\"todo\")}\n   | #three(_) => ${2:failwith(\"todo\")}\n   | #two => ${3:failwith(\"todo\")}\n   }",
     "insertTextFormat": 2
   }]