handle options

Author: zth

analysis/src/CompletionBackEnd.ml

@@ -1780,8 +1780,11 @@ let rec resolveNestedPattern typ ~env ~package ~nested =
       | Some {typ} -> typ |> resolveNestedPattern ~env ~package ~nested)
     | PRecordBody {seenFields}, Some (Trecord {env; typeExpr}) ->
       Some (typeExpr, env, Some (Completable.RecordField {seenFields}))
-    | PVariantPayload {constructorName; itemNum}, Some (Tvariant {env; constructors})
-      -> (
+    | ( PVariantPayload {constructorName = "Some"; itemNum = 0},
+        Some (Toption (env, typ)) ) ->
+      typ |> resolveNestedPattern ~env ~package ~nested
+    | ( PVariantPayload {constructorName; itemNum},
+        Some (Tvariant {env; constructors}) ) -> (
       match
         constructors
         |> List.find_opt (fun (c : Constructor.t) ->

analysis/tests/src/CompletionPattern.res

@@ -121,3 +121,9 @@ ignore(c)
 
 // switch c { | [] }
 //               ^com
+
+let o = Some(true)
+ignore(o)
+
+// switch o { | Some() }
+//                   ^com

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

@@ -453,3 +453,23 @@ Completable: Cpattern Value[c]->array
     "documentation": null
   }]
 
+Complete src/CompletionPattern.res 127:21
+looking for: Cpath Value[o] 
+posCursor:[127:21] posNoWhite:[127:20] Found expr:[127:3->127:24]
+posCursor:[127:21] posNoWhite:[127:20] Found pattern:[127:16->127:22]
+posCursor:[127:21] posNoWhite:[127:20] Found pattern:[127:20->127:22]
+Completable: Cpattern Value[o]->variantPayload::Some($0)
+[{
+    "label": "true",
+    "kind": 4,
+    "tags": [],
+    "detail": "bool",
+    "documentation": null
+  }, {
+    "label": "false",
+    "kind": 4,
+    "tags": [],
+    "detail": "bool",
+    "documentation": null
+  }]
+