Merge doc-comments-val with doc-comments, new value before-except-val; after becomes after-when-possible#1358
Merge doc-comments-val with doc-comments, new value before-except-val; after becomes after-when-possible#1358gpetiot merged 5 commits intoocaml-ppx:masterfrom gpetiot:doc-comments-v2
Conversation
…; after becomes after-when-possible
jberdine
left a comment
There was a problem hiding this comment.
Looks good, thanks!
I tested on some of our code and the results are good. There is a lot of churn due to changing the docstrings from after to before on simple module definitions, but that is ok and back to what it used to be.
|
Nice! So I think that this is good to go, and then there isn't anything else blocking 0.14.2, right? |
|
Yes, good point, it would be good to hear from the others. |
|
That looks good to me! What happens to people using |
I forgot about this. I need to add messages indeed (and same for doc-comments-val for the people that got accustomed to it), but error messages instead of warnings, to not carry the old options until 0.15. |
|
Here are the warnings now printed: |
See #1354 for the discussion that lead to this option.
Currently doing usual tests on big projects, no diff for: