Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Typos in @deprecated text in stdlib/arrayLabels.mli #6436
Original bug ID: 6436
Patch against trunk attached.
I thought about adding [@@ocaml.deprecated] too, but that appears to not be used in every place @deprecated is used in the stdlib .mli files. Would you like a patch for that too?
Comment author: @damiendoligez
Thanks for the patch. I've applied it to 4.02 (commit 14899).
It's a good idea in principle, but I'm sure there will be special cases that need to be discussed, so a systematic patch will probably not be applied as is.