pipe complete int constants

Author: zth

analysis/src/CompletionBackEnd.ml

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

analysis/src/CompletionFrontEnd.ml

@@ -138,6 +138,7 @@ let findNamedArgCompletable ~(args : arg list) ~endPos ~posBeforeCursor
 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_array _ -> Some CPArray
   | Pexp_ident {txt} -> Some (CPId (Utils.flattenLongIdent txt, Value))
   | Pexp_field (e1, {txt = Lident name}) -> (

analysis/src/SharedTypes.ml

@@ -505,6 +505,7 @@ module Completable = struct
   type contextPath =
     | CPString
     | CPArray
+    | CPInt
     | CPApply of contextPath * Asttypes.arg_label list
     | CPId of string list * completionContext
     | CPField of contextPath * string
@@ -534,6 +535,7 @@ module Completable = struct
     in
     let rec contextPathToString = function
       | CPString -> "string"
+      | CPInt -> "int"
       | CPApply (cp, labels) ->
         contextPathToString cp ^ "("
         ^ (labels

analysis/tests/src/Completion.res

@@ -403,7 +403,7 @@ let header2 = `
     background-color: ${red}; `
 //                       ^com
 
-// let _ = `color: ${r    
+// let _ = `color: ${r
 //                    ^com
 
 let onClick = evt => {
@@ -414,3 +414,6 @@ let onClick = evt => {
   //                 ^com
   Js.log("Hello")
 }
+
+// let _ = 123->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->417:0]
-Pexp_apply ...__ghost__[0:-1->0:-1] (...[405:11->415:1], ...[417:0->417:0])
+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->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]
@@ -1702,3 +1702,22 @@ Resolved opens 2 Completion.res Completion.res
     "documentation": null
   }]
 
+Complete src/Completion.res 417:17
+posCursor:[417:17] posNoWhite:[417:16] Found expr:[417:11->417:17]
+Completable: Cpath int->t
+Raw opens: 2 Shadow.B.place holder ... Shadow.A.place holder
+Resolved opens 2 Completion.res Completion.res
+[{
+    "label": "Belt.Int.toString",
+    "kind": 12,
+    "tags": [],
+    "detail": "int => string",
+    "documentation": {"kind": "markdown", "value": "\n  Converts a given `int` to a `string`. Uses the JavaScript `String` constructor under the hood.\n\n  ```res example\n  Js.log(Belt.Int.toString(1) === \"1\") /* true */\n  ```\n"}
+  }, {
+    "label": "Belt.Int.toFloat",
+    "kind": 12,
+    "tags": [],
+    "detail": "int => float",
+    "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"}
+  }]
+