Skip to content

Add Stdlib Bool and Char modules + Better deprecation msg in Pervasives #7361

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Mar 24, 2025

Conversation

tsnobip
Copy link
Member

@tsnobip tsnobip commented Mar 24, 2025

No description provided.

@tsnobip tsnobip changed the title Better deprecation msg in Pervasives Add Stdlib Bool and Char modules + Better deprecation msg in Pervasives Mar 24, 2025
@tsnobip tsnobip force-pushed the better-deprecation-msg branch from d487134 to fb0bb00 Compare March 24, 2025 13:15
@tsnobip tsnobip requested a review from cknitt March 24, 2025 13:20
@tsnobip tsnobip merged commit 978c979 into master Mar 24, 2025
20 checks passed
@cknitt cknitt deleted the better-deprecation-msg branch March 25, 2025 13:50
fhammerschmidt pushed a commit that referenced this pull request Apr 4, 2025
…es (#7361)

* add Stdlib Bool and Char modules

* point deprecated functions to Stdlib alternatives

* update Changelog

* update artifacts.txt
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