Sourced from rescript's releases.

13.0.0-alpha.6

💥 Breaking Change

• Remove %re; use regexp literals instead. rescript-lang/rescript#8634
• Reject malformed UTF-8 in documentation comments and invalid escapes in string and template literals, which previously could produce invalid or inconsistent JavaScript. rescript-lang/rescript#8606
• Reject tagged template literals in patterns. Patterns cannot invoke their tag; previously their raw payload was compiled as a plain string comparison. rescript-lang/rescript#8606
• Remove runtime APIs that were deprecated for removal in ReScript 13, including the Char module, unsafe Obj operations, legacy Pervasives helpers, and Array.unsafe_get. rescript-lang/rescript#8564
• Remove the deprecated Js namespace and its runtime modules. rescript-lang/rescript#8531
• Move Belt into the separately installed @rescript/belt package. Projects using Belt must install the package and list it in their rescript.json dependencies. rescript-lang/rescript#8554
• Correct the structured function details returned by rescript-tools doc, preserving parameter labels, optionality, and nested type structure. This changes the published RescriptTools.Docgen schema. rescript-lang/rescript#8576
• Make object-field mutability part of the type. Fields require @set unless inferred settable on an open row; private rows and coercions no longer implicitly grant write access. rescript-lang/rescript#8597
• Remove the undocumented object-field attribute forms @get (bare or with a null/undefined/nullable payload) and @set({no_get: ...}) on object types. Only bare @set marks a field settable; nullable getter types are written directly (null<t>, undefined<t>, nullable<t>). rescript-lang/rescript#8597
• Remove Int.Ref and the obsolete %incr, %decr, %refget, %function_arity, %succint, and %predint builtins. Custom externals using these names are now rejected. rescript-lang/rescript#8616 rescript-lang/rescript#8608
• Remove the reanalyze -reactive option; reanalyze now always uses the reactive pipeline. rescript-lang/rescript#8648
• Interpret @this this => async arg => ... as a method returning an async function. To create an async method with both parameters, write @this async (this, arg) => .... rescript-lang/rescript#8566

🚀 New Feature

• Support UTF-16 surrogate-pair escapes such as "\uD83D\uDE00" in ordinary string literals. rescript-lang/rescript#8606
• Support dynamic imports of external bindings annotated with @scope; the generated import follows the complete property path. These imports were previously rejected. rescript-lang/rescript#8582
• Add @res.hoistedFunction for emitting nested module functions as flat JavaScript exports. rescript-lang/rescript#8402
• Add source map support with linked, inline, and hidden modes. rescript-lang/rescript#8393
• Add List.includes, deprecate List.has in favor of List.some, and clarify the equality semantics of List.includes and Array.includes. rescript-lang/rescript#8530
• Allow inferred labeled functions to be called with labels in any order. rescript-lang/rescript#8547

🐛 Bug fix

• Fix reanalyze incorrectly reporting labels and variant cases of re-exported types as dead in the editor. rescript-lang/rescript#8647 rescript-lang/rescript#8648
• Fix reanalyze incorrectly reporting record fields accessed through coercions as dead. rescript-lang/rescript#8643 rescript-lang/rescript#8645
• Report reanalyze findings in stable source order across machines. rescript-lang/rescript#8648
• Fix speculative parser lookahead suppressing syntax errors for malformed attributes and inline records in non-arrow external declarations. rescript-lang/rescript#8633
• Preserve list elements when recovering from unexpected delimiters, and report invalid type-argument parentheses at their opening. rescript-lang/rescript#8633
• Fix constant folding of pattern matches on unboxed variants whose payload overlaps a literal constructor, and report an error instead of crashing on multi-argument unboxed constructors. rescript-lang/rescript#8631
• Fix escaped backticks and interpolation openers in backquoted %raw, %ffi, and %re payloads leaking into emitted JavaScript. rescript-lang/rescript#8630
• Preserve unused bigint exponentiation and bounds-checked array or string reads that may throw instead of removing them as pure expressions. rescript-lang/rescript#8617
• Preserve record field @as annotations when formatting object types containing spreads. rescript-lang/rescript#8619
• Fix lost leading comments on labeled callbacks and unstable formatting of trailing callback comments. rescript-lang/rescript#8627
• Fix record-field completion inside constructor tuple payloads and for their destructured bindings, including both supported tuple spellings and polymorphic variants. rescript-lang/rescript#8610
• Limit constructor signature help to the argument parentheses, excluding whitespace and comments between the constructor name and its arguments, and keep unary tuple payloads on parameter zero. rescript-lang/rescript#8610
• Fix formatting of function assignments, return-type parentheses, and JSX fragments in callbacks. rescript-lang/rescript#8611
• Report an error instead of crashing when an integer in a variant constructor's @as annotation exceeds the compiler's integer range. rescript-lang/rescript#8619
• Warn about an @as on a record field whose payload does not name the field, such as @as(42). It renamed nothing and was silently accepted. rescript-lang/rescript#8619
• Preserve side effects in recursive modules with empty signatures. rescript-lang/rescript#8608
• Report a proper error instead of crashing on out-of-range numeric polymorphic variant names. rescript-lang/rescript#8608
• Object typing errors now describe fields directly: assigning to a field without @set reports that the field is not settable and suggests the annotation, and missing-property errors name the field instead of a phantom "x#=" member. rescript-lang/rescript#8597
• Fix pattern matching for string literals with equivalent runtime values but different escape spellings, preserving source order and reporting redundant patterns. rescript-lang/rescript#8606
• Fix signature inclusion rejecting equivalent object externals after type-alias expansion. rescript-lang/rescript#8581
• Fix externals whose result type is an alias of unit so they use the same unit-return behavior as externals declared to return unit. rescript-lang/rescript#8581
• Fix dynamic imports of external bindings that require FFI argument or result conversions, including @variadic, @unwrap, polymorphic variant encodings, @as phantom arguments, optional labeled arguments, and @return wrappers. The imported value now applies the same conversions as a direct external call. rescript-lang/rescript#8582
• Fix formatter breaking the opening brace of a functor module type's result signature onto a new line (e.g. module Make: Pattern => {). rescript-lang/rescript#8519

... (truncated)

Sourced from rescript's changelog.

13.0.0-alpha.6

💥 Breaking Change

• Remove %re; use regexp literals instead. rescript-lang/rescript#8634
• Reject malformed UTF-8 in documentation comments and invalid escapes in string and template literals, which previously could produce invalid or inconsistent JavaScript. rescript-lang/rescript#8606
• Reject tagged template literals in patterns. Patterns cannot invoke their tag; previously their raw payload was compiled as a plain string comparison. rescript-lang/rescript#8606
• Remove runtime APIs that were deprecated for removal in ReScript 13, including the Char module, unsafe Obj operations, legacy Pervasives helpers, and Array.unsafe_get. rescript-lang/rescript#8564
• Remove the deprecated Js namespace and its runtime modules. rescript-lang/rescript#8531
• Move Belt into the separately installed @rescript/belt package. Projects using Belt must install the package and list it in their rescript.json dependencies. rescript-lang/rescript#8554
• Correct the structured function details returned by rescript-tools doc, preserving parameter labels, optionality, and nested type structure. This changes the published RescriptTools.Docgen schema. rescript-lang/rescript#8576
• Make object-field mutability part of the type. Fields require @set unless inferred settable on an open row; private rows and coercions no longer implicitly grant write access. rescript-lang/rescript#8597
• Remove the undocumented object-field attribute forms @get (bare or with a null/undefined/nullable payload) and @set({no_get: ...}) on object types. Only bare @set marks a field settable; nullable getter types are written directly (null<t>, undefined<t>, nullable<t>). rescript-lang/rescript#8597
• Remove Int.Ref and the obsolete %incr, %decr, %refget, %function_arity, %succint, and %predint builtins. Custom externals using these names are now rejected. rescript-lang/rescript#8616 rescript-lang/rescript#8608
• Remove the reanalyze -reactive option; reanalyze now always uses the reactive pipeline. rescript-lang/rescript#8648
• Interpret @this this => async arg => ... as a method returning an async function. To create an async method with both parameters, write @this async (this, arg) => .... rescript-lang/rescript#8566

🚀 New Feature

• Support UTF-16 surrogate-pair escapes such as "\uD83D\uDE00" in ordinary string literals. rescript-lang/rescript#8606
• Support dynamic imports of external bindings annotated with @scope; the generated import follows the complete property path. These imports were previously rejected. rescript-lang/rescript#8582
• Add @res.hoistedFunction for emitting nested module functions as flat JavaScript exports. rescript-lang/rescript#8402
• Add source map support with linked, inline, and hidden modes. rescript-lang/rescript#8393
• Add List.includes, deprecate List.has in favor of List.some, and clarify the equality semantics of List.includes and Array.includes. rescript-lang/rescript#8530
• Allow inferred labeled functions to be called with labels in any order. rescript-lang/rescript#8547

🐛 Bug fix

• Fix reanalyze incorrectly reporting labels and variant cases of re-exported types as dead in the editor. rescript-lang/rescript#8647 rescript-lang/rescript#8648
• Fix reanalyze incorrectly reporting record fields accessed through coercions as dead. rescript-lang/rescript#8643 rescript-lang/rescript#8645
• Report reanalyze findings in stable source order across machines. rescript-lang/rescript#8648
• Fix speculative parser lookahead suppressing syntax errors for malformed attributes and inline records in non-arrow external declarations. rescript-lang/rescript#8633
• Preserve list elements when recovering from unexpected delimiters, and report invalid type-argument parentheses at their opening. rescript-lang/rescript#8633
• Fix constant folding of pattern matches on unboxed variants whose payload overlaps a literal constructor, and report an error instead of crashing on multi-argument unboxed constructors. rescript-lang/rescript#8631
• Fix escaped backticks and interpolation openers in backquoted %raw, %ffi, and %re payloads leaking into emitted JavaScript. rescript-lang/rescript#8630
• Preserve unused bigint exponentiation and bounds-checked array or string reads that may throw instead of removing them as pure expressions. rescript-lang/rescript#8617
• Preserve record field @as annotations when formatting object types containing spreads. rescript-lang/rescript#8619
• Fix lost leading comments on labeled callbacks and unstable formatting of trailing callback comments. rescript-lang/rescript#8627
• Fix record-field completion inside constructor tuple payloads and for their destructured bindings, including both supported tuple spellings and polymorphic variants. rescript-lang/rescript#8610
• Limit constructor signature help to the argument parentheses, excluding whitespace and comments between the constructor name and its arguments, and keep unary tuple payloads on parameter zero. rescript-lang/rescript#8610
• Fix formatting of function assignments, return-type parentheses, and JSX fragments in callbacks. rescript-lang/rescript#8611
• Report an error instead of crashing when an integer in a variant constructor's @as annotation exceeds the compiler's integer range. rescript-lang/rescript#8619
• Warn about an @as on a record field whose payload does not name the field, such as @as(42). It renamed nothing and was silently accepted. rescript-lang/rescript#8619
• Preserve side effects in recursive modules with empty signatures. rescript-lang/rescript#8608
• Report a proper error instead of crashing on out-of-range numeric polymorphic variant names. rescript-lang/rescript#8608
• Object typing errors now describe fields directly: assigning to a field without @set reports that the field is not settable and suggests the annotation, and missing-property errors name the field instead of a phantom "x#=" member. rescript-lang/rescript#8597
• Fix pattern matching for string literals with equivalent runtime values but different escape spellings, preserving source order and reporting redundant patterns. rescript-lang/rescript#8606
• Fix signature inclusion rejecting equivalent object externals after type-alias expansion. rescript-lang/rescript#8581
• Fix externals whose result type is an alias of unit so they use the same unit-return behavior as externals declared to return unit. rescript-lang/rescript#8581
• Fix dynamic imports of external bindings that require FFI argument or result conversions, including @variadic, @unwrap, polymorphic variant encodings, @as phantom arguments, optional labeled arguments, and @return wrappers. The imported value now applies the same conversions as a direct external call. rescript-lang/rescript#8582

... (truncated)

• ede3703 Prepare for 13.0.0-alpha.6 release (#8660)
• 4bddea8 Prevent intermittent OCaml CI setup failures (#8657)
• a41b04f Remove unused Base dependency (#8655)
• 72ce156 Upgrade OCaml toolchain to 5.5.1 (#8654)
• 1c8ccf6 Represent regexp literals explicitly and remove %re syntax (#8634)
• 9c57d0e Print coercions with context-aware parentheses (#8614)
• 5df47f8 Scope compiler and Rewatch agent guidance to their directories
• 2544996 Experiment: reducing drift in agent-assisted development
• 7402efc Separate parser token inspection from consumption (#8633)
• 1cec5eb Order reported issues by source position
• Additional commits viewable in compare view

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)