rescript-lang · tsnobip · Jul 30, 2025 · Jul 30, 2025
diff --git a/rewatch/Cargo.lock b/rewatch/Cargo.lock
diff --git a/rewatch/Cargo.toml b/rewatch/Cargo.toml
@@ -26,6 +26,7 @@ serde = { version = "1.0.152", features = ["derive"] }
 serde_json = { version = "1.0.93" }
 sysinfo = "0.29.10"
 tempfile = "3.10.1"
+oxc_resolver = "11.6.0"
 
 
 [profile.release]

diff --git a/rewatch/src/build.rs b/rewatch/src/build.rs
@@ -78,7 +78,6 @@ pub fn get_compiler_args(path: &Path) -> Result<String> {
         &rescript_config,
         &root_rescript_config,
         relative_filename,
-        &workspace_root,
         workspace_root.as_ref().unwrap_or(&package_root),
         &contents,
     );

diff --git a/rewatch/src/build/parse.rs b/rewatch/src/build/parse.rs
@@ -53,7 +53,6 @@ pub fn generate_asts(
                             root_package.to_owned(),
                             &source_file.implementation.path.to_owned(),
                             &build_state.bsc_path,
-                            &build_state.workspace_root,
                         );
 
                         let iast_result = match source_file.interface.as_ref().map(|i| i.path.to_owned()) {
@@ -62,7 +61,6 @@ pub fn generate_asts(
                                 root_package.to_owned(),
                                 &interface_file_path.to_owned(),
                                 &build_state.bsc_path,
-                                &build_state.workspace_root,
                             )
                             .map(Some),
                             _ => Ok(None),
@@ -243,21 +241,12 @@ pub fn parser_args(
     config: &config::Config,
     root_config: &config::Config,
     filename: &Path,
-    workspace_root: &Option<PathBuf>,
     root_path: &Path,
     contents: &str,
 ) -> (PathBuf, Vec<String>) {
     let file = &filename;
     let ast_path = helpers::get_ast_path(file);
-    let ppx_flags = config::flatten_ppx_flags(
-        &if let Some(workspace_root) = workspace_root {
-            workspace_root.join("node_modules")
-        } else {
-            root_path.join("node_modules")
-        },
-        &filter_ppx_flags(&config.ppx_flags, contents),
-        &config.name,
-    );
+    let ppx_flags = config::flatten_ppx_flags(root_path, &filter_ppx_flags(&config.ppx_flags, contents));
     let jsx_args = root_config.get_jsx_args();
     let jsx_module_args = root_config.get_jsx_module_args();
     let jsx_mode_args = root_config.get_jsx_mode_args();
@@ -292,7 +281,6 @@ fn generate_ast(
     root_package: packages::Package,
     filename: &Path,
     bsc_path: &PathBuf,
-    workspace_root: &Option<PathBuf>,
 ) -> Result<(PathBuf, Option<helpers::StdErr>), String> {
     let file_path = PathBuf::from(&package.path).join(filename);
     let contents = helpers::read_file(&file_path).expect("Error reading file");
@@ -302,7 +290,6 @@ fn generate_ast(
         &package.config,
         &root_package.config,
         filename,
-        workspace_root,
         &root_package.path,
         &contents,
     );

diff --git a/rewatch/src/config.rs b/rewatch/src/config.rs
@@ -2,6 +2,7 @@ use crate::build::packages;
 use crate::helpers::deserialize::*;
 use anyhow::{Result, bail};
 use convert_case::{Case, Casing};
+use oxc_resolver::{ResolveOptions, Resolver};
 use serde::Deserialize;
 use std::fs;
 use std::path::{Path, PathBuf};
@@ -288,46 +289,30 @@ pub fn flatten_flags(flags: &Option<Vec<OneOrMore<String>>>) -> Vec<String> {
 
 /// Since ppx-flags could be one or more, and could potentially be nested, this function takes the
 /// flags and flattens them.
-pub fn flatten_ppx_flags(
-    node_modules_dir: &Path,
-    flags: &Option<Vec<OneOrMore<String>>>,
-    package_name: &String,
-) -> Vec<String> {
+pub fn flatten_ppx_flags(root_path: &Path, flags: &Option<Vec<OneOrMore<String>>>) -> Vec<String> {
+    let oxc_resolver = Resolver::new(ResolveOptions::default());
     match flags {
         None => vec![],
         Some(flags) => flags
             .iter()
             .flat_map(|x| match x {
-                OneOrMore::Single(y) => {
-                    let first_character = y.chars().next();
-                    match first_character {
-                        Some('.') => {
-                            vec![
-                                "-ppx".to_string(),
-                                node_modules_dir
-                                    .join(package_name)
-                                    .join(y)
-                                    .to_string_lossy()
-                                    .to_string(),
-                            ]
-                        }
-                        _ => vec![
-                            "-ppx".to_string(),
-                            node_modules_dir.join(y).to_string_lossy().to_string(),
-                        ],
-                    }
-                }
+                OneOrMore::Single(y) => vec![
+                    "-ppx".to_string(),
+                    oxc_resolver
+                        .resolve(root_path, y)
+                        .unwrap()
+                        .full_path()
+                        .to_string_lossy()
+                        .to_string(),
+                ],
                 OneOrMore::Multiple(ys) if ys.is_empty() => vec![],
                 OneOrMore::Multiple(ys) => {
-                    let first_character = ys[0].chars().next();
-                    let ppx = match first_character {
-                        Some('.') => node_modules_dir
-                            .join(package_name)
-                            .join(&ys[0])
-                            .to_string_lossy()
-                            .to_string(),
-                        _ => node_modules_dir.join(&ys[0]).to_string_lossy().to_string(),
-                    };
+                    let ppx = oxc_resolver
+                        .resolve(root_path, &ys[0])
+                        .unwrap()
+                        .full_path()
+                        .to_string_lossy()
+                        .to_string();
                     vec![
                         "-ppx".to_string(),
                         vec![ppx]

diff --git a/rewatch/testrepo/package.json b/rewatch/testrepo/package.json
@@ -1,21 +1,9 @@
 {
   "name": "testrepo",
   "private": true,
-  "workspaces": {
-    "packages": [
-      "packages/main",
-      "packages/dep01",
-      "packages/dep02",
-      "packages/new-namespace",
-      "packages/namespace-casing",
-      "packages/with-dev-deps",
-      "packages/compiled-by-legacy",
-      "packages/nonexisting-dev-files",
-      "packages/deprecated-config",
-      "packages/file-casing",
-      "packages/file-casing-no-namespace"
-    ]
-  },
+  "workspaces": [
+    "packages/*"
+  ],
   "dependencies": {
     "rescript": "12.0.0-beta.1"
   },

diff --git a/rewatch/testrepo/packages/dep01/package.json b/rewatch/testrepo/packages/dep01/package.json
@@ -12,6 +12,6 @@
   "author": "",
   "license": "MIT",
   "dependencies": {
-    "@testrepo/dep02": "*"
+    "@testrepo/dep02": "workspace:*"
   }
 }
diff --git a/rewatch/testrepo/packages/main/package.json b/rewatch/testrepo/packages/main/package.json
@@ -12,7 +12,7 @@
   "author": "",
   "license": "MIT",
   "dependencies": {
-    "@testrepo/compiled-by-legacy": "*",
-    "@testrepo/dep01": "*"
+    "@testrepo/compiled-by-legacy": "workspace:*",
+    "@testrepo/dep01": "workspace:*"
   }
 }
diff --git a/rewatch/testrepo/packages/with-ppx/package.json b/rewatch/testrepo/packages/with-ppx/package.json
@@ -0,0 +1,14 @@
+{
+  "name": "@testrepo/with-ppx",
+  "version": "0.0.1",
+  "keywords": [
+    "rescript"
+  ],
+  "author": "",
+  "license": "MIT",
+  "dependencies": {
+    "rescript-nodejs": "16.1.0",
+    "rescript-schema": "9.3.0-rescript12.0",
+    "rescript-schema-ppx": "9.0.1"
+  }
+}
diff --git a/rewatch/testrepo/packages/with-ppx/rescript.json b/rewatch/testrepo/packages/with-ppx/rescript.json
@@ -0,0 +1,16 @@
+{
+  "name": "@testrepo/with-ppx",
+  "sources": [
+    {
+      "dir": "src"
+    }
+  ],
+  "dependencies": ["rescript-nodejs", "rescript-schema"],
+  "package-specs": {
+    "module": "es6",
+    "in-source": true
+  },
+  "suffix": ".res.js",
+  "compiler-flags": ["-open RescriptSchema"],
+  "ppx-flags": ["rescript-schema-ppx/bin"]
+}
diff --git a/rewatch/testrepo/packages/with-ppx/src/FileWithPpx.mjs b/rewatch/testrepo/packages/with-ppx/src/FileWithPpx.mjs
@@ -0,0 +1,17 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S$RescriptSchema from "rescript-schema/src/S.mjs";
+
+let schema = S$RescriptSchema.schema(s => ({
+  foo: s.m(S$RescriptSchema.string)
+}));
+
+let foo = S$RescriptSchema.parseOrThrow("{ \"foo\": \"bar\" }", schema);
+
+console.log(foo);
+
+export {
+  schema,
+  foo,
+}
+/* schema Not a pure module */
diff --git a/rewatch/testrepo/packages/with-ppx/src/FileWithPpx.res b/rewatch/testrepo/packages/with-ppx/src/FileWithPpx.res
@@ -0,0 +1,6 @@
+@schema
+type t = {foo: string}
+
+let foo = S.parseOrThrow(`{ "foo": "bar" }`, schema)
+
+Console.log(foo)
diff --git a/rewatch/testrepo/rescript.json b/rewatch/testrepo/rescript.json
@@ -25,6 +25,7 @@
     "@testrepo/nonexisting-dev-files",
     "@testrepo/deprecated-config",
     "@testrepo/file-casing",
-    "@testrepo/file-casing-no-namespace"
+    "@testrepo/file-casing-no-namespace",
+    "@testrepo/with-ppx"
   ]
 }
diff --git a/rewatch/testrepo/yarn.lock b/rewatch/testrepo/yarn.lock
@@ -49,21 +49,21 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@testrepo/compiled-by-legacy@npm:*, @testrepo/compiled-by-legacy@workspace:packages/compiled-by-legacy":
+"@testrepo/compiled-by-legacy@workspace:*, @testrepo/compiled-by-legacy@workspace:packages/compiled-by-legacy":
   version: 0.0.0-use.local
   resolution: "@testrepo/compiled-by-legacy@workspace:packages/compiled-by-legacy"
   languageName: unknown
   linkType: soft
 
-"@testrepo/dep01@npm:*, @testrepo/dep01@workspace:packages/dep01":
+"@testrepo/dep01@workspace:*, @testrepo/dep01@workspace:packages/dep01":
   version: 0.0.0-use.local
   resolution: "@testrepo/dep01@workspace:packages/dep01"
   dependencies:
-    "@testrepo/dep02": "npm:*"
+    "@testrepo/dep02": "workspace:*"
   languageName: unknown
   linkType: soft
 
-"@testrepo/dep02@npm:*, @testrepo/dep02@workspace:packages/dep02":
+"@testrepo/dep02@workspace:*, @testrepo/dep02@workspace:packages/dep02":
   version: 0.0.0-use.local
   resolution: "@testrepo/dep02@workspace:packages/dep02"
   languageName: unknown
@@ -91,8 +91,8 @@ __metadata:
   version: 0.0.0-use.local
   resolution: "@testrepo/main@workspace:packages/main"
   dependencies:
-    "@testrepo/compiled-by-legacy": "npm:*"
-    "@testrepo/dep01": "npm:*"
+    "@testrepo/compiled-by-legacy": "workspace:*"
+    "@testrepo/dep01": "workspace:*"
   languageName: unknown
   linkType: soft
 
@@ -123,13 +123,44 @@ __metadata:
   languageName: unknown
   linkType: soft
 
+"@testrepo/with-ppx@workspace:packages/with-ppx":
+  version: 0.0.0-use.local
+  resolution: "@testrepo/with-ppx@workspace:packages/with-ppx"
+  dependencies:
+    rescript-nodejs: "npm:16.1.0"
+    rescript-schema: "npm:9.3.0-rescript12.0"
+    rescript-schema-ppx: "npm:9.0.1"
+  languageName: unknown
+  linkType: soft
+
 "rescript-nodejs@npm:16.1.0":
   version: 16.1.0
   resolution: "rescript-nodejs@npm:16.1.0"
   checksum: 10c0/2ea271dbddebdceec79bf5ee6089c15474f2c014cb22c1cc39d43ef27fd363fcb1cd8e1244d0cb998cd6b426d7474e3055e41277951fb01ee1eeecf68bbe01ab
   languageName: node
   linkType: hard
 
+"rescript-schema-ppx@npm:9.0.1":
+  version: 9.0.1
+  resolution: "rescript-schema-ppx@npm:9.0.1"
+  peerDependencies:
+    rescript-schema: 9.x
+  checksum: 10c0/c6f95183d3c138f1b1c1110314480c3601366010bbd406f6ab8876e1eef9ab64f87109bda1467801f9905ff30b81c3bf1c6c11ea8bb1ca5ceb801012b0bab39e
+  languageName: node
+  linkType: hard
+
+"rescript-schema@npm:9.3.0-rescript12.0":
+  version: 9.3.0-rescript12.0
+  resolution: "rescript-schema@npm:9.3.0-rescript12.0"
+  peerDependencies:
+    rescript: ^12.0.0-alpha.8
+  peerDependenciesMeta:
+    rescript:
+      optional: true
+  checksum: 10c0/61dc401034ea310233c531d91ab2ce688644bd255f6dc98c42d632a082639fd5501ac4a97ab53982c56845b0296da2c7d4ff07542878a5eef8a90db2451b4c2e
+  languageName: node
+  linkType: hard
+
 "rescript@npm:12.0.0-beta.1, rescript@npm:^12.0.0-alpha.13":
   version: 12.0.0-beta.1
   resolution: "rescript@npm:12.0.0-beta.1"

diff --git a/rewatch/tests/snapshots/bs-dev-dependency-used-by-non-dev-source.txt b/rewatch/tests/snapshots/bs-dev-dependency-used-by-non-dev-source.txt
@@ -1,4 +1,4 @@
-Cleaned 0/60
+Cleaned 0/64
 Parsed 2 source files
 Compiled 2 modules
 

diff --git a/rewatch/tests/snapshots/dependency-cycle.txt b/rewatch/tests/snapshots/dependency-cycle.txt
@@ -1,4 +1,4 @@
-Cleaned 0/60
+Cleaned 0/64
 Parsed 1 source files
 Compiled 0 modules
 

diff --git a/rewatch/tests/snapshots/remove-file.txt b/rewatch/tests/snapshots/remove-file.txt
@@ -1,4 +1,4 @@
-Cleaned 1/60
+Cleaned 1/64
 Parsed 0 source files
 Compiled 1 modules
 

diff --git a/rewatch/tests/snapshots/rename-file-internal-dep-namespace.txt b/rewatch/tests/snapshots/rename-file-internal-dep-namespace.txt
@@ -1,4 +1,4 @@
-Cleaned 2/60
+Cleaned 2/64
 Parsed 2 source files
 Compiled 3 modules
 

diff --git a/rewatch/tests/snapshots/rename-file-internal-dep.txt b/rewatch/tests/snapshots/rename-file-internal-dep.txt
@@ -1,4 +1,4 @@
-Cleaned 2/60
+Cleaned 2/64
 Parsed 2 source files
 Compiled 2 modules
 

diff --git a/rewatch/tests/snapshots/rename-file-with-interface.txt b/rewatch/tests/snapshots/rename-file-with-interface.txt
@@ -1,5 +1,5 @@
 [2K No implementation file found for interface file (skipping): src/ModuleWithInterface.resi
-Cleaned 2/60
+Cleaned 2/64
 Parsed 1 source files
 Compiled 2 modules
 

diff --git a/rewatch/tests/snapshots/rename-file.txt b/rewatch/tests/snapshots/rename-file.txt
@@ -1,4 +1,4 @@
-Cleaned 1/60
+Cleaned 1/64
 Parsed 1 source files
 Compiled 1 modules
 

diff --git a/rewatch/tests/snapshots/rename-interface-file.txt b/rewatch/tests/snapshots/rename-interface-file.txt
@@ -1,5 +1,5 @@
 [2K No implementation file found for interface file (skipping): src/ModuleWithInterface2.resi
-Cleaned 1/60
+Cleaned 1/64
 Parsed 1 source files
 Compiled 2 modules
 

diff --git a/rewatch/tests/suffix.sh b/rewatch/tests/suffix.sh
@@ -31,7 +31,7 @@ fi
 # Count files with new extension
 file_count=$(find ./packages -name *.res.js | wc -l)
 
-if [ "$file_count" -eq 36 ];
+if [ "$file_count" -eq 38 ];
 then
   success "Found files with correct suffix"
 else