Add a larger test for the extension (#455)

* Add a larger test for the extension

Includes larger files, such as `res_core.ml` and vendored compiler libs from the syntax module.

* no lock

* Add example in analysis/examples

* Artifacts.

Author: cristianoc

analysis/examples/larger-project/.gitignore

@@ -0,0 +1,2 @@
+/node_modules
+/lib

analysis/examples/larger-project/.merlin

@@ -0,0 +1,14 @@
+####{BSB GENERATED: NO EDIT
+FLG -ppx '/Users/cristianocalcagno/GitHub/rescript-vscode/analysis/examples/larger-project/node_modules/rescript/darwin/bsc.exe -as-ppx -bs-jsx 3'
+S /Users/cristianocalcagno/GitHub/rescript-vscode/analysis/examples/larger-project/node_modules/rescript/lib/ocaml
+B /Users/cristianocalcagno/GitHub/rescript-vscode/analysis/examples/larger-project/node_modules/rescript/lib/ocaml
+FLG -w +a-4-9-20-40-41-42-50-61-102
+S /Users/cristianocalcagno/GitHub/rescript-vscode/analysis/examples/larger-project/node_modules/@rescript/react/lib/ocaml
+B /Users/cristianocalcagno/GitHub/rescript-vscode/analysis/examples/larger-project/node_modules/@rescript/react/lib/ocaml
+S /Users/cristianocalcagno/GitHub/rescript-vscode/analysis/examples/larger-project/node_modules/@glennsl/bs-json/lib/ocaml
+B /Users/cristianocalcagno/GitHub/rescript-vscode/analysis/examples/larger-project/node_modules/@glennsl/bs-json/lib/ocaml
+S src
+B lib/bs/src
+S src/exception
+B lib/bs/src/exception
+####BSB GENERATED: NO EDIT}

analysis/examples/larger-project/.watchmanconfig

@@ -0,0 +1,21 @@
+{
+  "reanalyze": {
+    "analysis": ["dce"],
+    "suppress": [],
+    "unsuppress": []
+  },
+  "name": "sample-typescript-app",
+  "bsc-flags": ["-bs-super-errors -w a"],
+  "reason": { "react-jsx": 3 },
+  "bs-dependencies": ["@rescript/react", "@glennsl/bs-json"],
+  "sources": [
+    {
+      "dir": "src",
+      "subdirs": true
+    }
+  ],
+  "package-specs": {
+    "module": "es6",
+    "in-source": true
+  }
+}

analysis/examples/larger-project/bsconfig.json

@@ -0,0 +1,19 @@
+{
+  "name": "large-project",
+  "version": "0.1.0",
+  "private": true,
+  "scripts": {
+    "start": "rescript build -w",
+    "build": "rescript build",
+    "clean": "rescript clean -with-deps"
+  },
+  "devDependencies": {
+    "react": "^16.13.1",
+    "react-dom": "^16.8.6",
+    "rescript": "^9.1.4"
+  },
+  "dependencies": {
+    "@glennsl/bs-json": "^5.0.4",
+    "@rescript/react": "^0.10.3"
+  }
+}

analysis/examples/larger-project/package-lock.json

@@ -0,0 +1,15 @@
+type variant = R(int)
+
+@genType
+type record = {variant: variant}
+
+type r2 = {r2: int}
+
+type r3 = {r3: int}
+
+type r4 = {r4: int}
+
+@genType
+type annotatedVariant =
+  | R2(r2, r3)
+  | R4(r4)

analysis/examples/larger-project/package.json

@@ -0,0 +1,4 @@
+/* NOTE: This is a spooky interface that provides no type safety. It should be
+ * improved. Use with caution. */
+@module("BootloaderResource")
+external read: JSResource.t<'a> => 'a = "read"

analysis/examples/larger-project/src/AutoAnnotate.js

@@ -0,0 +1,28 @@
+@genType
+type someMutableFields = {
+  @set
+  "mutable0": string,
+  "immutable": int,
+  @set
+  "mutable1": string,
+  @set
+  "mutable2": string,
+}
+
+@genType
+type someMethods = {
+  @meth
+  "send": string => unit,
+  @meth
+  "on": (string, (. int) => unit) => unit,
+  @meth
+  "threeargs": (int, string, int) => string,
+  "twoArgs": (. int, string) => int,
+}
+
+// let foo = (x: someMethods) => x["threeargs"](3, "a", 4)
+
+let bar = (x: someMethods) => {
+  let f = x["twoArgs"]
+  f(. 3, "a")
+}

analysis/examples/larger-project/src/AutoAnnotate.res

@@ -0,0 +1,17 @@
+@ocaml.doc(
+  " This is like declaring a normal ReasonReact component's `make` function, except the body is a the interop hook wrapJsForReason "
+)
+@genType
+@react.component
+let make = (~title, ~description, ~button=?) => {
+  <div>
+    <div>
+      title
+      description
+      {switch button {
+      | Some(button) => button
+      | None => React.null
+      }}
+    </div>
+  </div>
+}

analysis/examples/larger-project/src/BootloaderResource.js

@@ -0,0 +1,8 @@
+module Error1 = {
+  type t = string
+  let notification = s => (s, s)
+}
+
+module MyErrorHandler = ErrorHandler.Make(Error1)
+
+MyErrorHandler.notify("abc")