Skip to content

Conversation

@cknitt
Copy link
Member

@cknitt cknitt commented Dec 5, 2025

Fixes #8058

Not sure if it makes much sense for Lazy, but I included it for the sake of completeness.
(I originally noticed it for Bool.)

@cknitt cknitt requested review from tsnobip and zth December 5, 2025 15:44
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.

Looks good! Just a changelog then good to go?

@pkg-pr-new
Copy link

pkg-pr-new bot commented Dec 5, 2025

Open in StackBlitz

rescript

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

@rescript/darwin-arm64

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

@rescript/darwin-x64

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

@rescript/linux-arm64

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

@rescript/linux-x64

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

@rescript/runtime

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

@rescript/win32-x64

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

commit: 8d831d2

@cknitt cknitt merged commit 6389ee5 into rescript-lang:master Dec 5, 2025
25 checks passed
@cknitt cknitt deleted the ignore-function branch December 7, 2025 08:44
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.

ignore function missing in some Stdlib modules

2 participants