Skip to content

Conversation

dependabot[bot]
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Sep 8, 2025

Bumps rescript from 12.0.0-beta.7 to 12.0.0-beta.10.

Release notes

Sourced from rescript's releases.

12.0.0-beta.10

🚀 New Feature

  • Support mapping more standard library types automatically to TS types via gentype, without requiring shims. rescript-lang/rescript#7842

🐛 Bug fix

💅 Polish

12.0.0-beta.9

💥 Breaking Change

🚀 New Feature

🐛 Bug fix

💅 Polish

🏠 Internal

... (truncated)

Changelog

Sourced from rescript's changelog.

12.0.0-beta.10

🚀 New Feature

  • Support mapping more standard library types automatically to TS types via gentype, without requiring shims. rescript-lang/rescript#7842

🐛 Bug fix

💅 Polish

12.0.0-beta.9

💥 Breaking Change

🚀 New Feature

🐛 Bug fix

💅 Polish

... (truncated)

Commits
  • 2fda497 Prepare for 12.0.0-beta.10 release (#7848)
  • 535a8bd Refactor CLI to use spawn for better signal handling in watch mode (#7844)
  • 2904146 changelog: add entry for JSX v4 forwardRef arity fix (#7845)
  • b3f2b08 tests: add compiled .mjs for forwardRef_regress
  • 35e1601 syntax/jsx_v4: fix forwardRef arity regression; mark internal impl uncurried ...
  • ed425d8 Better error when defining a type inside of a function (#7843)
  • e3256ba Extend Gentype shims (#7842)
  • edf2724 stop mangling tagged templates and backquoted strings (#7841)
  • cd8c272 docs: enhance CODEX.md with detailed repo guidance
  • 5bbb344 Fix experimental rescript config (#7836)
  • Additional commits viewable in compare view

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

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 merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @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)

Bumps [rescript](https://github.com/rescript-lang/rescript-compiler) from 12.0.0-beta.7 to 12.0.0-beta.10.
- [Release notes](https://github.com/rescript-lang/rescript-compiler/releases)
- [Changelog](https://github.com/rescript-lang/rescript/blob/master/CHANGELOG.md)
- [Commits](rescript-lang/rescript@v12.0.0-beta.7...v12.0.0-beta.10)

---
updated-dependencies:
- dependency-name: rescript
  dependency-version: 12.0.0-beta.10
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code labels Sep 8, 2025
@nojaf nojaf merged commit 3e19d55 into main Sep 8, 2025
2 checks passed
@dependabot dependabot bot deleted the dependabot/npm_and_yarn/rescript-12.0.0-beta.10 branch September 8, 2025 06:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant