take uncurried into consideration when looking up functions

Author: zth

analysis/src/TypeUtils.ml

@@ -88,11 +88,13 @@ let rec extractObjectType ~env ~package (t : Types.type_expr) =
     | _ -> None)
   | _ -> None
 
-let extractFunctionType ~env ~package typ =
+let rec extractFunctionType ~env ~package typ =
   let rec loop ~env acc (t : Types.type_expr) =
     match t.desc with
     | Tlink t1 | Tsubst t1 | Tpoly (t1, []) -> loop ~env acc t1
     | Tarrow (label, tArg, tRet, _) -> loop ~env ((label, tArg) :: acc) tRet
+    | Tconstr (Pident {name = "function$"}, [t; _], _) ->
+      extractFunctionType ~env ~package t
     | Tconstr (path, typeArgs, _) -> (
       match References.digConstructor ~env ~package path with
       | Some

analysis/tests/src/Completion.res

@@ -453,5 +453,5 @@ type someVariantWithDeprecated =
 
 let uncurried = (. num) => num + 2
 
-// let _ = uncurried(. 1)->
-//                         ^com
+// let _ = uncurried(. 1)->toS
+//                            ^com

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

@@ -2161,15 +2161,23 @@ Path someVariantWithDeprecated
     "insertTextFormat": 2
   }]
 
-Complete src/Completion.res 455:27
-posCursor:[455:27] posNoWhite:[455:26] Found expr:[455:11->0:-1]
-Completable: Cpath Value[uncurried](Nolabel)->
+Complete src/Completion.res 455:30
+posCursor:[455:30] posNoWhite:[455:29] Found expr:[455:11->455:30]
+Completable: Cpath Value[uncurried](Nolabel)->toS
 Raw opens: 2 Shadow.B.place holder ... Shadow.A.place holder
 Package opens Pervasives.JsxModules.place holder
 Resolved opens 3 Completion.res Completion.res pervasives
-ContextPath Value[uncurried](Nolabel)->
+ContextPath Value[uncurried](Nolabel)->toS
 ContextPath Value[uncurried](Nolabel)
 ContextPath Value[uncurried]
 Path uncurried
-[]
+CPPipe env:Completion
+Path Belt.Int.toS
+[{
+    "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"}
+  }]