rescript-lang · cknitt · Aug 28, 2026
diff --git a/compiler/flow_parser/README.md b/compiler/flow_parser/README.md
@@ -24,6 +24,13 @@ call uses an empty-list comparison to retain OCaml 5.0 compatibility. The
 Sedlex PPX uses `Ast_helper.Exp.fun_` to generate single-argument functions
 with newer ppxlib versions.
 
+Only modules in the dependency closure of ReScript's expression and program
+parser entry points are retained. Upstream ESTree translation, JSDoc parsing,
+location translation, token translation, and unused collection helpers are
+omitted. The core statement, declaration, type, JSX, pattern, comment, and AST
+modules remain because the parser connects them transitively and `%raw`
+validates both complete JavaScript programs and individual expressions.
+
 Vendored sources are excluded from the repository-wide OCamlformat check so
 that they remain comparable with their upstream versions.
 

diff --git a/compiler/flow_parser/collections/dune b/compiler/flow_parser/collections/dune
@@ -3,4 +3,5 @@
 (library
  (name collections)
  (wrapped false)
+ (modules Flow_map Flow_set SSet StringKey)
  (libraries base))
diff --git a/compiler/flow_parser/collections/iMap.ml b/compiler/flow_parser/collections/iMap.ml
diff --git a/compiler/flow_parser/collections/iSet.ml b/compiler/flow_parser/collections/iSet.ml
diff --git a/compiler/flow_parser/collections/immQueue.ml b/compiler/flow_parser/collections/immQueue.ml
diff --git a/compiler/flow_parser/collections/immQueue.mli b/compiler/flow_parser/collections/immQueue.mli
diff --git a/compiler/flow_parser/collections/intKey.ml b/compiler/flow_parser/collections/intKey.ml
diff --git a/compiler/flow_parser/collections/priorityQueue.ml b/compiler/flow_parser/collections/priorityQueue.ml
diff --git a/compiler/flow_parser/collections/sMap.ml b/compiler/flow_parser/collections/sMap.ml
diff --git a/compiler/flow_parser/collections/union_find.ml b/compiler/flow_parser/collections/union_find.ml