Universal dot completion (#1054)

* wip complete pipeable functions from dot completion on record when record is type t of module

* correctly insert completion item text removing the dot when selecting a pipe function

* add experimental mainTypeForModule annotation

* complete modules in payload of mainTypeForModule

* rename attribute

* hover for new decorator

* allow extra module completions also for pipe

* make sure completions work across files

* filter pipe completions to only applicable functions

* pipe complete only for functions that take the expected type as the first argument

* start refactoring dot completion everywhere

* refactor dot completion

* add a few more synthetic

* disable verbose log

* cleanup

* pipe dot completion for builtins

* Add example case (#1058)

* Additional completion tests (#1062)

* Add Rxjs completion test

* Add Rxjs binding example

* Extend Rxjs test with fully qualified access

* Add@editor.completeFrom and incomplete test output

* Add passing test for property completion

* Test still works when types are not named t.

* Add test for @editor.completeFrom

* make dot completion everywhere actually work

* do not care about ExtractedType now that we have incremental type checking

* refactor to share pipe completion code logic

* cleanup

* cleanup

* fix debug command

* up rescript in test project

* change strategy for removing dot on completion

* contonous dot completion

* handle dot completions on piped idents

* handle scope

* inline pipe completion logic again

* refactor

* more compl spec

* refactor

* changelog

---------

Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>

Author: zth

CHANGELOG.md

@@ -12,6 +12,10 @@
 
 ## master
 
+#### :rocket: New Feature
+
+- Add support for "dot completion everywhere". In addition to record fields, dots will now complete for object fields, and pipe completions applicable to the type the dot is on. You can also configure where the editor draws extra pipe completions from via the `@editor.completeFrom` attribute. https://github.com/rescript-lang/rescript-vscode/pull/1054
+
 ## 1.60.0
 
 #### :rocket: New Feature

analysis/src/Codemod.ml

@@ -41,7 +41,7 @@ let transform ~path ~pos ~debug ~typ ~hint =
         if debug then print_endline "Found no result";
         exit 1
       | Some switchExpr ->
-        printExpr ~range:(Xform.rangeOfLoc switchExpr.pexp_loc) switchExpr)
+        printExpr ~range:(Loc.rangeOfLoc switchExpr.pexp_loc) switchExpr)
     | _ ->
       if debug then print_endline "Mismatch in expected structure";
       exit 1)