Skip to content

Deprecate List.has and the Error/Exn modules for 12.3.2 - #8807

Merged
cknitt merged 3 commits into
maintenance/12.xfrom
deprecate-v12-removals
Oct 12, 2026
Merged

cknitt merged 3 commits into
maintenance/12.xfrom
deprecate-v12-removals

Conversation

@cknitt

@cknitt cknitt commented Oct 12, 2026

Copy link
Copy Markdown
Member

Deprecations for 12.3.2, so that 13.0 can remove these APIs after they've been deprecated in a v12 release:

13.0.0 removes the stdlib APIs deprecated in v12, so it has to be released after 12.3.2. Users can then run rescript-tools migrate-all on 12.3.2 before upgrading.

🤖 Generated with Claude Code

https://claude.ai/code/session_013ZYFYMu3AE9P1xFVCR34d1

aspeddro and others added 3 commits October 12, 2026 07:07
…/JsExn (#8404)

* Deprecate `Stdlib_Error` and `Stdlib_Exn` modules in favor of
`JsError`/`JsExn`

* Update CHANGELOG.md

(cherry picked from commit 8aaa1e8)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013ZYFYMu3AE9P1xFVCR34d1
Signed-off-by: Christoph Knittel <ck@cca.io>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013ZYFYMu3AE9P1xFVCR34d1
Signed-off-by: Christoph Knittel <ck@cca.io>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013ZYFYMu3AE9P1xFVCR34d1
Signed-off-by: Christoph Knittel <ck@cca.io>
@cknitt
cknitt marked this pull request as ready for review October 12, 2026 07:47
@cknitt
cknitt requested a review from fhammerschmidt October 12, 2026 07:47
@pkg-pr-new

pkg-pr-new Bot commented Oct 12, 2026

Copy link
Copy Markdown

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript@8807

@rescript/darwin-arm64

npm i https://pkg.pr.new/@rescript/darwin-arm64@8807

@rescript/darwin-x64

npm i https://pkg.pr.new/@rescript/darwin-x64@8807

@rescript/linux-arm64

npm i https://pkg.pr.new/@rescript/linux-arm64@8807

@rescript/linux-x64

npm i https://pkg.pr.new/@rescript/linux-x64@8807

@rescript/runtime

npm i https://pkg.pr.new/@rescript/runtime@8807

@rescript/win32-x64

npm i https://pkg.pr.new/@rescript/win32-x64@8807

commit: 8d84b59

@cknitt
cknitt enabled auto-merge (squash) October 12, 2026 08:41
@cknitt
cknitt disabled auto-merge October 12, 2026 08:55
@cknitt
cknitt merged commit 00578c6 into maintenance/12.x Oct 12, 2026
25 checks passed
@cknitt
cknitt deleted the deprecate-v12-removals branch October 12, 2026 08:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants