propagate deprecated attribute for record fields

Author: zth

Diff for: analysis/src/CompletionBackEnd.ml

@@ -130,6 +130,7 @@ let completionForExportedFields ~(env : QueryEnv.t) ~prefix ~exact ~namesUsed =
                    let () = Hashtbl.add namesUsed name () in
                    Some
                      (Completion.create name ~env ~docstring:f.docstring
+                        ?deprecated:f.deprecated
                         ~kind:
                           (Completion.Field
                              (f, t.item.decl |> Shared.declToString t.name.txt)))
@@ -740,7 +741,7 @@ let rec getCompletionsForContextPath ~full ~opens ~rawOpens ~allFiles ~pos ~env
                if Utils.checkName field.fname.txt ~prefix:fieldName ~exact then
                  Some
                    (Completion.create field.fname.txt ~env
-                      ~docstring:field.docstring
+                      ~docstring:field.docstring ?deprecated:field.deprecated
                       ~kind:
                         (Completion.Field
                            ( field,
@@ -1151,6 +1152,7 @@ let rec completeTypedValue ~full ~prefix ~completionContext ~mode
              match (field.optional, mode) with
              | true, Pattern Destructuring ->
                Completion.create ("?" ^ field.fname.txt)
+                 ?deprecated:field.deprecated
                  ~docstring:
                    [
                      field.fname.txt
@@ -1161,7 +1163,7 @@ let rec completeTypedValue ~full ~prefix ~completionContext ~mode
                    (Field (field, TypeUtils.extractedTypeToString extractedType))
                  ~env
              | _ ->
-               Completion.create field.fname.txt
+               Completion.create field.fname.txt ?deprecated:field.deprecated
                  ~kind:
                    (Field (field, TypeUtils.extractedTypeToString extractedType))
                  ~env)
@@ -1189,7 +1191,7 @@ let rec completeTypedValue ~full ~prefix ~completionContext ~mode
              List.mem field.fname.txt seenFields = false)
       |> List.map (fun (field : field) ->
              Completion.create field.fname.txt ~kind:(Label "Inline record")
-               ~env)
+               ?deprecated:field.deprecated ~env)
       |> filterItems ~prefix
     | None ->
       if prefix = "" then

Diff for: analysis/src/ProcessCmt.ml

@@ -27,6 +27,7 @@ let mapRecordField {Types.ld_id; ld_type; ld_attributes} =
       (match ProcessAttributes.findDocAttribute ld_attributes with
       | None -> []
       | Some docstring -> [docstring]);
+    deprecated = ProcessAttributes.findDeprecatedAttribute ld_attributes;
   }
 
 let rec forTypeSignatureItem ~(env : SharedTypes.Env.t) ~(exported : Exported.t)
@@ -231,6 +232,10 @@ let forTypeDeclaration ~env ~(exported : Exported.t)
                                              with
                                             | None -> []
                                             | Some docstring -> [docstring]);
+                                          deprecated =
+                                            ProcessAttributes
+                                            .findDeprecatedAttribute
+                                              f.ld_attributes;
                                         })));
                            res =
                              (match cd_res with
@@ -268,6 +273,9 @@ let forTypeDeclaration ~env ~(exported : Exported.t)
                            Res_parsetree_viewer.hasOptionalAttribute
                              ld_attributes;
                          docstring = attrsToDocstring ld_attributes;
+                         deprecated =
+                           ProcessAttributes.findDeprecatedAttribute
+                             ld_attributes;
                        })));
         }
       ~name ~stamp ~env typ_attributes

Diff for: analysis/src/SharedTypes.ml

@@ -32,6 +32,7 @@ type field = {
   typ: Types.type_expr;
   optional: bool;
   docstring: string list;
+  deprecated: string option;
 }
 
 type constructorArgs =

Diff for: analysis/tests/src/Completion.res

@@ -425,3 +425,20 @@ let ok = Ok(true)
 
 // ok->g
 //      ^com
+
+type someRecordWithDeprecatedField = {
+  name: string,
+  @deprecated
+  someInt: int,
+  @deprecated("Use 'someInt'.")
+  someFloat: float,
+}
+
+let rWithDepr: someRecordWithDeprecatedField = {
+  name: "hej",
+  someInt: 12,
+  someFloat: 12.,
+}
+
+// rWithDepr.so
+//             ^com

Diff for: analysis/tests/src/expected/Completion.res.txt

@@ -1625,8 +1625,8 @@ Resolved opens 2 Completion.res Completion.res
   }]
 
 Complete src/Completion.res 405:22
-posCursor:[405:22] posNoWhite:[405:21] Found expr:[405:11->428:0]
-Pexp_apply ...__ghost__[0:-1->0:-1] (...[405:11->423:17], ...[428:0->428:0])
+posCursor:[405:22] posNoWhite:[405:21] Found expr:[405:11->445:0]
+Pexp_apply ...__ghost__[0:-1->0:-1] (...[405:11->423:17], ...[428:0->445:0])
 posCursor:[405:22] posNoWhite:[405:21] Found expr:[405:11->423:17]
 Pexp_apply ...__ghost__[0:-1->0:-1] (...[405:11->405:19], ...[405:21->423:17])
 posCursor:[405:22] posNoWhite:[405:21] Found expr:[405:21->423:17]
@@ -1759,3 +1759,23 @@ Resolved opens 2 Completion.res Completion.res
     "documentation": {"kind": "markdown", "value": "\n  `getWithDefault(res, defaultValue)`: If `res` is `Ok(n)`, returns `n`,\n  otherwise `default`\n\n  ```res example\n  Belt.Result.getWithDefault(Ok(42), 0) == 42\n\n  Belt.Result.getWithDefault(Error(\"Invalid Data\"), 0) == 0\n  ```\n"}
   }]
 
+Complete src/Completion.res 442:15
+posCursor:[442:15] posNoWhite:[442:14] Found expr:[442:3->442:15]
+Pexp_field [442:3->442:12] so:[442:13->442:15]
+Completable: Cpath Value[rWithDepr].so
+Raw opens: 2 Shadow.B.place holder ... Shadow.A.place holder
+Resolved opens 2 Completion.res Completion.res
+[{
+    "label": "someInt",
+    "kind": 5,
+    "tags": [1],
+    "detail": "someInt: int\n\ntype someRecordWithDeprecatedField = {\n  name: string,\n  someInt: int,\n  someFloat: float,\n}",
+    "documentation": {"kind": "markdown", "value": "Deprecated: \n\n"}
+  }, {
+    "label": "someFloat",
+    "kind": 5,
+    "tags": [1],
+    "detail": "someFloat: float\n\ntype someRecordWithDeprecatedField = {\n  name: string,\n  someInt: int,\n  someFloat: float,\n}",
+    "documentation": {"kind": "markdown", "value": "Deprecated: Use 'someInt'.\n\n"}
+  }]
+