Skip to content

Conversation

cknitt
Copy link
Member

@cknitt cknitt commented Jul 28, 2025

Closes #7597

@cknitt cknitt force-pushed the stdlib-deprecations branch from b72f335 to 3b3a3b1 Compare July 28, 2025 15:26
@cknitt cknitt force-pushed the stdlib-deprecations branch from 3b3a3b1 to 87ad686 Compare July 28, 2025 15:39
Copy link

pkg-pr-new bot commented Jul 28, 2025

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript-lang/rescript@7730 

@rescript/darwin-arm64

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

@rescript/darwin-x64

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

@rescript/linux-arm64

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

@rescript/linux-x64

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

@rescript/win32-x64

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

commit: d40a8bb

@cknitt cknitt requested a review from zth July 28, 2025 16:25
Copy link
Member

@zth zth left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice!

After this is merged, could you PR it into #7693 as well, and add proper migrations + tests for the deprecated stuff in this PR? That'll be a good test for the migration work done so far, if that succeeds.

@cknitt cknitt merged commit 118294a into master Jul 28, 2025
27 checks passed
@cknitt cknitt deleted the stdlib-deprecations branch July 28, 2025 17:26
@cknitt
Copy link
Member Author

cknitt commented Jul 29, 2025

After this is merged, could you PR it into #7693 as well, and add proper migrations + tests for the deprecated stuff in this PR? That'll be a good test for the migration work done so far, if that succeeds.

Can't promise I'll find time for that before my vacation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants