complete float

Author: zth

analysis/src/CompletionBackEnd.ml

@@ -1183,6 +1183,13 @@ let rec getCompletionsForContextPath ~full ~opens ~rawOpens ~allFiles ~pos ~env
           (Completion.Value
              (Ctype.newconstr (Path.Pident (Ident.create "int")) []));
     ]
+  | CPFloat ->
+    [
+      Completion.create ~name:"float" ~env
+        ~kind:
+          (Completion.Value
+             (Ctype.newconstr (Path.Pident (Ident.create "float")) []));
+    ]
   | CPArray ->
     [
       Completion.create ~name:"array" ~env

analysis/src/CompletionFrontEnd.ml

@@ -139,6 +139,7 @@ let rec exprToContextPath (e : Parsetree.expression) =
   match e.pexp_desc with
   | Pexp_constant (Pconst_string _) -> Some Completable.CPString
   | Pexp_constant (Pconst_integer _) -> Some CPInt
+  | Pexp_constant (Pconst_float _) -> Some CPFloat
   | Pexp_array _ -> Some CPArray
   | Pexp_ident {txt} -> Some (CPId (Utils.flattenLongIdent txt, Value))
   | Pexp_field (e1, {txt = Lident name}) -> (

analysis/src/SharedTypes.ml

@@ -506,6 +506,7 @@ module Completable = struct
     | CPString
     | CPArray
     | CPInt
+    | CPFloat
     | CPApply of contextPath * Asttypes.arg_label list
     | CPId of string list * completionContext
     | CPField of contextPath * string
@@ -536,6 +537,7 @@ module Completable = struct
     let rec contextPathToString = function
       | CPString -> "string"
       | CPInt -> "int"
+      | CPFloat -> "float"
       | CPApply (cp, labels) ->
         contextPathToString cp ^ "("
         ^ (labels

analysis/tests/src/Completion.res

@@ -417,3 +417,6 @@ let onClick = evt => {
 
 // let _ = 123->t
 //               ^com
+
+// let _ = 123.0->t
+//                 ^com

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->420:0]
-Pexp_apply ...__ghost__[0:-1->0:-1] (...[405:11->415:1], ...[420:0->420:0])
+posCursor:[405:22] posNoWhite:[405:21] Found expr:[405:11->423:0]
+Pexp_apply ...__ghost__[0:-1->0:-1] (...[405:11->415:1], ...[423:0->423:0])
 posCursor:[405:22] posNoWhite:[405:21] Found expr:[405:11->415:1]
 Pexp_apply ...__ghost__[0:-1->0:-1] (...[405:11->405:19], ...[405:21->415:1])
 posCursor:[405:22] posNoWhite:[405:21] Found expr:[405:21->415:1]
@@ -1721,3 +1721,22 @@ Resolved opens 2 Completion.res Completion.res
     "documentation": {"kind": "markdown", "value": "\n  Converts a given `int` to a `float`.\n\n  ```res example\n  Js.log(Belt.Int.toFloat(1) === 1.0) /* true */\n  ```\n"}
   }]
 
+Complete src/Completion.res 420:19
+posCursor:[420:19] posNoWhite:[420:18] Found expr:[420:11->420:19]
+Completable: Cpath float->t
+Raw opens: 2 Shadow.B.place holder ... Shadow.A.place holder
+Resolved opens 2 Completion.res Completion.res
+[{
+    "label": "Belt.Float.toInt",
+    "kind": 12,
+    "tags": [],
+    "detail": "float => int",
+    "documentation": {"kind": "markdown", "value": "\nConverts a given `float` to an `int`.\n\n```res example\nJs.log(Belt.Float.toInt(1.0) === 1) /* true */\n```\n"}
+  }, {
+    "label": "Belt.Float.toString",
+    "kind": 12,
+    "tags": [],
+    "detail": "float => string",
+    "documentation": {"kind": "markdown", "value": "\n  Converts a given `float` to a `string`. Uses the JavaScript `String` constructor under the hood.\n\n  ```res example\n  Js.log(Belt.Float.toString(1.0) === \"1.0\") /* true */\n  ```\n"}
+  }]
+