Analysis tests fixes

analysis/src/CompletionBackEnd.ml

@@ -1090,8 +1090,7 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~pos ~env ~exact
           *)
           let completeAsBuiltin =
             match typePath with
-            | Some t ->
-              TypeUtils.completionPathFromMaybeBuiltin t ~package:full.package
+            | Some t -> TypeUtils.completionPathFromMaybeBuiltin t
             | None -> None
           in
           let completionPath =
@@ -1452,9 +1451,10 @@ let rec completeTypedValue ?(typeArgContext : typeArgContext option) ~rawOpens
     (* Special casing for things where we want extra things in the completions *)
     let completionItems =
       match path with
-      | Pdot (Pdot (Pident m, "Re", _), "t", _) when Ident.name m = "Js" ->
+      | Pdot (Pdot (Pident {name = "Js"}, "Re", _), "t", _)
+      | Pdot (Pident {name = "RegExp"}, "t", _) ->
         (* regexps *)
-        create "%re()" ~insertText:"%re(\"/$0/g\")" ~includesSnippets:true
+        create "/<regexp>/g" ~insertText:"/$0/g" ~includesSnippets:true
           ~kind:(Label "Regular expression") ~env
         :: completionItems
       | _ -> completionItems
@@ -1801,8 +1801,7 @@ let rec completeTypedValue ?(typeArgContext : typeArgContext option) ~rawOpens
     if Debug.verbose () then print_endline "[complete_typed_value]--> Texn";
     [
       create
-        (full.package.builtInCompletionModules.exnModulePath @ ["Error(error)"]
-        |> ident)
+        (["Exn.t"; "Error(error)"] |> ident)
         ~kind:(Label "Catches errors from JavaScript errors.")
         ~docstring:
           [
@@ -2244,12 +2243,7 @@ let rec processCompletable ~debug ~full ~scope ~env ~pos ~forHover completable =
         | _ -> items)))
   | CexhaustiveSwitch {contextPath; exprLoc} ->
     let range = Utils.rangeOfLoc exprLoc in
-    let rescriptMajor, rescriptMinor = Packages.getReScriptVersion () in
-    let printFailwithStr num =
-      if (rescriptMajor = 11 && rescriptMinor >= 1) || rescriptMajor >= 12 then
-        "${" ^ string_of_int num ^ ":%todo}"
-      else "${" ^ string_of_int num ^ ":failwith(\"todo\")}"
-    in
+    let printFailwithStr num = "${" ^ string_of_int num ^ ":%todo}" in
     let withExhaustiveItem ~cases ?(startIndex = 0) (c : Completion.t) =
       (* We don't need to write out `switch` here since we know that's what the
          user has already written. Just complete for the rest. *)

analysis/src/Packages.ml

@@ -148,61 +148,6 @@ let newBsPackage ~rootPath =
              pathsForModule;
              opens;
              namespace;
-             builtInCompletionModules =
-               (if
-                  opens_from_bsc_flags
-                  |> List.find_opt (fun opn ->
-                         match opn with
-                         | ["RescriptCore"] -> true
-                         | _ -> false)
-                  |> Option.is_some
-                  || fst rescriptVersion >= 12
-                then
-                  {
-                    arrayModulePath = ["Array"];
-                    optionModulePath = ["Option"];
-                    stringModulePath = ["String"];
-                    intModulePath = ["Int"];
-                    floatModulePath = ["Float"];
-                    promiseModulePath = ["Promise"];
-                    listModulePath = ["List"];
-                    resultModulePath = ["Result"];
-                    exnModulePath = ["Exn"];
-                    regexpModulePath = ["RegExp"];
-                  }
-                else if
-                  opens_from_bsc_flags
-                  |> List.find_opt (fun opn ->
-                         match opn with
-                         | ["Belt"] -> true
-                         | _ -> false)
-                  |> Option.is_some
-                then
-                  {
-                    arrayModulePath = ["Array"];
-                    optionModulePath = ["Option"];
-                    stringModulePath = ["Js"; "String2"];
-                    intModulePath = ["Int"];
-                    floatModulePath = ["Float"];
-                    promiseModulePath = ["Js"; "Promise"];
-                    listModulePath = ["List"];
-                    resultModulePath = ["Result"];
-                    exnModulePath = ["Js"; "Exn"];
-                    regexpModulePath = ["Js"; "Re"];
-                  }
-                else
-                  {
-                    arrayModulePath = ["Js"; "Array2"];
-                    optionModulePath = ["Belt"; "Option"];
-                    stringModulePath = ["Js"; "String2"];
-                    intModulePath = ["Belt"; "Int"];
-                    floatModulePath = ["Belt"; "Float"];
-                    promiseModulePath = ["Js"; "Promise"];
-                    listModulePath = ["Belt"; "List"];
-                    resultModulePath = ["Belt"; "Result"];
-                    exnModulePath = ["Js"; "Exn"];
-                    regexpModulePath = ["Js"; "Re"];
-                  });
              uncurried;
            }))
     | None -> None

analysis/src/SharedTypes.ml

@@ -483,19 +483,6 @@ type file = string
 
 module FileSet = Set.Make (String)
 
-type builtInCompletionModules = {
-  arrayModulePath: string list;
-  optionModulePath: string list;
-  stringModulePath: string list;
-  intModulePath: string list;
-  floatModulePath: string list;
-  promiseModulePath: string list;
-  listModulePath: string list;
-  resultModulePath: string list;
-  exnModulePath: string list;
-  regexpModulePath: string list;
-}
-
 type package = {
   genericJsxModule: string option;
   suffix: string;
@@ -504,7 +491,6 @@ type package = {
   dependenciesFiles: FileSet.t;
   pathsForModule: (file, paths) Hashtbl.t;
   namespace: string option;
-  builtInCompletionModules: builtInCompletionModules;
   opens: path list;
   uncurried: bool;
   rescriptVersion: int * int;

analysis/src/TypeUtils.ml

@@ -1253,17 +1253,16 @@ let pathToBuiltin path =
   Predef.builtin_idents
   |> List.find_opt (fun (_, i) -> Ident.same i (Path.head path))
 
-let completionPathFromMaybeBuiltin path ~package =
+let completionPathFromMaybeBuiltin path =
   match pathToBuiltin path with
-  | Some ("array", _) -> Some package.builtInCompletionModules.arrayModulePath
-  | Some ("option", _) -> Some package.builtInCompletionModules.optionModulePath
-  | Some ("string", _) -> Some package.builtInCompletionModules.stringModulePath
-  | Some ("int", _) -> Some package.builtInCompletionModules.intModulePath
-  | Some ("float", _) -> Some package.builtInCompletionModules.floatModulePath
-  | Some ("promise", _) ->
-    Some package.builtInCompletionModules.promiseModulePath
-  | Some ("list", _) -> Some package.builtInCompletionModules.listModulePath
-  | Some ("result", _) -> Some package.builtInCompletionModules.resultModulePath
+  | Some ("array", _) -> Some ["Array"]
+  | Some ("option", _) -> Some ["Option"]
+  | Some ("string", _) -> Some ["String"]
+  | Some ("int", _) -> Some ["Int"]
+  | Some ("float", _) -> Some ["Float"]
+  | Some ("promise", _) -> Some ["Promise"]
+  | Some ("list", _) -> Some ["List"]
+  | Some ("result", _) -> Some ["Result"]
   | Some ("dict", _) -> Some ["Dict"]
   | Some ("char", _) -> Some ["Char"]
   | _ -> None

tests/analysis_tests/tests/src/Completion.res

@@ -1,4 +1,4 @@
-module MyList = Belt.List
+module MyList = List
 // MyList.m
 //         ^com
 // Array.
@@ -45,7 +45,7 @@ let fa: ForAuto.t = 34
 // fa->
 //     ^com
 
-// "hello"->Js.Dict.u
+// "hello"->String.in
 //                   ^com
 
 module O = {
@@ -142,7 +142,7 @@ let foo = {
     type z = int
     let v = 44
   }
-  exception MyException(int, string, float, array<Js.Json.t>)
+  exception MyException(int, string, float, array<JSON.t>)
   let _ = raise(MyException(2, "", 1.0, []))
   add((x: Inner.z), Inner.v + y)
 }
@@ -170,8 +170,8 @@ module WithChildren = {
 // <WithChildren
 //              ^com
 
-// type t = Js.n
-//              ^com
+// type t = n
+//           ^com
 // type t = ForAuto.
 //                  ^com
 
@@ -389,7 +389,6 @@ let _ = x =>
 //                      ^com
 
 let _ = _ => {
-  open Js
   //  []->ma
   //        ^com
   ()
@@ -415,7 +414,7 @@ let onClick = evt => {
   evt->ReactEvent.Synthetic.preventDefault
   // SomeLocalModule.
   //                 ^com
-  Js.log("Hello")
+  Console.log("Hello")
 }
 
 // let _ = 123->t

tests/analysis_tests/tests/src/CompletionDicts.res

@@ -1,14 +1,14 @@
-// let dict = Js.Dict.fromArray([])
-//                               ^com
+// let dict = Dict.fromArray([])
+//                            ^com
 
-// let dict = Js.Dict.fromArray([()])
-//                                ^com
+// let dict = Dict.fromArray([()])
+//                             ^com
 
-// let dict = Js.Dict.fromArray([("key", )])
-//                                      ^com
+// let dict = Dict.fromArray([("key", )])
+//                                   ^com
 
 // ^in+
-let dict = Js.Dict.fromArray([
+let dict = Dict.fromArray([
   ("key", true),
   //  ("key2", )
   //          ^com

tests/analysis_tests/tests/src/CompletionExpressions.res

@@ -183,8 +183,8 @@ let something = {
   let second2 = 1
   ignore(second)
   ignore(second2)
-  Js.log(s)
-  //      ^com
+  Console.log(s)
+  //           ^com
 }
 
 let fff: recordWithOptionalField = {
@@ -314,7 +314,7 @@ open CompletionSupport
 // CompletionSupport.makeTestHidden()
 //                                  ^com
 
-let mkStuff = (r: Js.Re.t) => {
+let mkStuff = (r: RegExp.t) => {
   ignore(r)
   "hello"
 }
@@ -343,7 +343,7 @@ module Money: {
 
   let make = (): t => zero
 
-  let fromInt = (int): t => int->Js.Int.toString
+  let fromInt = (int): t => int->Int.toString
 
   let plus = (m1, _) => m1
 }

tests/analysis_tests/tests/src/CompletionInferValues.res

@@ -48,11 +48,11 @@ module Div = {
 // let _ = <div onMouseEnter={event => { let btn = event->JsxEvent.Mouse.button; btn->t }} />
 //                                                                                     ^com
 
-// let _ = <div onMouseEnter={event => { let btn = event->JsxEvent.Mouse.button->Belt.Int.toString; btn->spl }} />
-//                                                                                                          ^com
+// let _ = <div onMouseEnter={event => { let btn = event->JsxEvent.Mouse.button->Int.toString; btn->spl }} />
+//                                                                                                     ^com
 
-// let _ = <div onMouseEnter={event => { let btn = event->JsxEvent.Mouse.button->Belt.Int.toString->Js.String2.split("/"); btn->ma }} />
-//                                                                                                                                ^com
+// let _ = <div onMouseEnter={event => { let btn = event->JsxEvent.Mouse.button->Int.toString->String.split("/"); btn->ma }} />
+//                                                                                                                       ^com
 
 type someVariant = One | Two | Three(int, string)
 type somePolyVariant = [#one | #two | #three(int, string)]
@@ -145,8 +145,8 @@ let fn3 = (~cb: sameFileRecord => unit) => {
 //                                             ^com
 
 // Handles pipe chains as input for switch
-// let x = 123; switch x->Belt.Int.toString->Js.String2.split("/") { | }
-//                                                                    ^com
+// let x = 123; switch x->Belt.Int.toString->String.split("/") { | }
+//                                                                ^com
 
 // Regular completion works
 // let renderer = CompletionSupport2.makeRenderer(~prepare=() => "hello",~render=({support}) => {support.},())

tests/analysis_tests/tests/src/CompletionJsx.res

@@ -20,8 +20,8 @@ module SomeComponent = {
       //                ^com
       // {"Some string"->st}
       //                   ^com
-      // {"Some string"->Js.String2.trim->st}
-      //                                    ^com
+      // {"Some string"->String.trim->st}
+      //                                ^com
       // {someInt->}
       //           ^com
       // {12->}

tests/analysis_tests/tests/src/CompletionJsxProps.res

@@ -38,7 +38,7 @@ let tsomeVar = #two
 @@jsxConfig({version: 4, mode: "automatic"})
 
 module CompletableComponentLazy = {
-  let loadComponent = () => Js.import(CompletableComponent.make)
+  let loadComponent = () => import(CompletableComponent.make)
   let make = React.lazy_(loadComponent)
 }
 

tests/analysis_tests/tests/src/CompletionPipeChain.res

@@ -55,7 +55,7 @@ let f = int->Integer.increment(2)
 // let _ = CompletionSupport.Test.make(1)->CompletionSupport.Test.addSelf(2)->
 //                                                                            ^com
 
-let _ = [123]->Js.Array2.forEach(v => Js.log(v))
+let _ = [123]->Array.forEach(v => Console.log(v))
 // ->
 //   ^com
 
@@ -99,7 +99,7 @@ let renderer = CompletionSupport2.makeRenderer(
 // Console.log(int->t)
 //                   ^com
 
-let r = %re("/t/g")
+let r = /t/g
 
 // r->la
 //      ^com

tests/analysis_tests/tests/src/CompletionTypeT.res

@@ -1,6 +1,6 @@
-let date = Some(Js.Date.make())
+let date = Some(Date.make())
 
-type withDate = {date: Js.Date.t}
+type withDate = {date: Date.t}
 
 // let x = switch date { | }
 //                        ^com

tests/analysis_tests/tests/src/DotPipeCompletionSpec.res

@@ -84,19 +84,19 @@ let nnn: typeOutsideModule = {nname: "hello"}
 // Continuous completion
 let xxxx = [1, 2]
 
-// xxxx->Js.Array2.filter(v => v > 10).filt
-//                                         ^com
+// xxxx->Array.filter(v => v > 10).filt
+//                                     ^com
 
-// xxxx->Js.Array2.filter(v => v > 10)->Js.Array2.joinWith(",").includ
-//                                                                    ^com
+// xxxx->Array.filter(v => v > 10)->Array.joinWith(",").includ
+//                                                            ^com
 
 let str = "hello"
 
-// str->Js.String2.toLowerCase.toUpperCa
-//                                      ^com
+// str->String.toLowerCase.toUpperCa
+//                                  ^com
 
-// str->Js.String2.toLowerCase->Js.String2.toUpperCase.toLowerC
-//                                                             ^com
+// str->String.toLowerCase->String.toUpperCase.toLowerC
+//                                                     ^com
 
 let cc = (t: typeOutsideModule) => {
   // t.