Conversation
4f57ab2 to
edd2ef8
Compare
|
utils/misc.mli defines a |
|
@diml is spot on ! Added a patch that remove the open |
826cf57 to
a8273ee
Compare
|
I'm a bit uncomfortable with the rash of deprecations that are about to hit the stdlib (already the Pervasives one). Deprecating current practices that are harmful seems reasonable, but I'm not convinced that using It's not about this specific issue, I'm not sure what's the best place to discuss the general deprecation practices, and I don't have a clearly better solution to offer to the problem of gradual style evolution. Just airing out a bit, sorry. |
From an end-user point of view it's actually much better and less time consuming if there's a single rash of deprecations rather than each OCaml version introducing a new one.
I find that to be a quite restricted view of deprecation. As far as I'm concerned deprecating some names in favor of others is as important as deprecating harmful practices and I thought people mostly agreed on the idea that these functions were better placed in the module that handles the type rather than in "the initially opened module". Besides, note that in the particular case of |
Aside. From a stdlib evolution perspective I think it would actually give a better overall message to end users if the names that are nowadays perceived as being out of place in the "initially opened module" are deprecated at the same time as the historical |
|
Even if we don't deprecate the function and assuming #2011 will be merged. Are people interested in these patches which simply uses |
e815486 to
d97822c
Compare
No, let's keep it. It's a good goal to use modern style in the code base. (I would not encourage people to spend time on such PR, but this work is already done in this case.) |
damiendoligez
left a comment
There was a problem hiding this comment.
I have one question that should be answered before merging. Otherwise, looks good.
|
It is my intent to rebase this PR and solve the conflicts but it will have to wait next week. |
d97822c to
0131964
Compare
|
This has been rebased. The CI failure is due to the lack of changes entry (I don't think one is needed). I tried to find the information in would be good to have that in the |
|
Ping. |
This shadows the standard Stdlib module.
0131964 to
a7afd89
Compare
|
Had to solve conflicts again. Not sure I'll do it once more. Can someone please merge this. |
|
I'll merge this as soon as the CI passes. Thanks! |
Following up on #2011 this
deprecatesubstitutesstring_of_intin favor ofInt.to_string. Note that this basically consists in substituing the latter by the former which has, conveniently, exactly the same number of characters.There is however one tricky inThis has been solved.asmcomp/selectgen.mlsince that module defines anIntmodule internally. For some reason trying to useStdlib.Intdidn't work at that point (the module is unbound, even though thebootinterface seems to havestdlib.cmi?!). Either theIntmodule can be "saved" to another name beforeselectgen.mldefines it ownIntmodule orStdlib__intcan be used. I chose the later. If anyones knows a better way please tell.