-
Notifications
You must be signed in to change notification settings - Fork 89
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
408 cleanup #436
Draft
FardaleM
wants to merge
16
commits into
main
Choose a base branch
from
408-cleanup
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Draft
408 cleanup #436
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
looks nice so far :) |
c-cube
force-pushed
the
main
branch
2 times, most recently
from
December 20, 2023 19:41
e4c484d
to
60bb2c8
Compare
FardaleM
force-pushed
the
408-cleanup
branch
from
December 25, 2024 12:34
fd73723
to
ef69923
Compare
Char.compare already existe
Include the Either module when available (ocaml >= 4.12)
FardaleM
force-pushed
the
408-cleanup
branch
from
December 25, 2024 13:56
ef69923
to
6953e5a
Compare
Conditionally define CCFun.compose and align its definition with the stdlib. The arguments are now swapped.
Add CCFormat.option and CCFormat.result as aliases to Format.pp_print_option and Format.pp_print_result. Make CCFormat.opt an alias of CCFormat.option, as such this add an optional argument to print the case "None" but change the default behaviour. Previously, it as printing "some _" or "none" now it print something only in the case of "Some x" and just "x".
FardaleM
force-pushed
the
408-cleanup
branch
from
December 25, 2024 14:10
6953e5a
to
1de3036
Compare
I really don't think we should break Maybe we can deprecate it, add a new name for it that doesn't clash, and we remove it in 4.00. |
(I will edit this list as I go through the modules)
|
FardaleM
force-pushed
the
408-cleanup
branch
from
December 25, 2024 19:34
1e2488f
to
273ba69
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Removing function that are always present in 4.08.