Skip to content

Remove deprecated %external extension#8376

Open
cknitt wants to merge 2 commits intomasterfrom
remove-external-extension
Open

Remove deprecated %external extension#8376
cknitt wants to merge 2 commits intomasterfrom
remove-external-extension

Conversation

@cknitt
Copy link
Copy Markdown
Member

@cknitt cknitt commented Apr 20, 2026

%external was deprecated for ReScript 12 in #6906.

This PR removes it.

@pkg-pr-new
Copy link
Copy Markdown

pkg-pr-new bot commented Apr 20, 2026

Open in StackBlitz

rescript

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

@rescript/darwin-arm64

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

@rescript/darwin-x64

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

@rescript/linux-arm64

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

@rescript/linux-x64

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

@rescript/runtime

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

@rescript/win32-x64

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

commit: 8345e58

@cknitt cknitt enabled auto-merge (squash) April 20, 2026 14:52
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.

2 participants