Skip to content

Remove ;; from the standard library#528

Merged
lpw25 merged 2 commits intoocaml:4.03from
lpw25:remove-stdlib-semisemi
Mar 31, 2016
Merged

Remove ;; from the standard library#528
lpw25 merged 2 commits intoocaml:4.03from
lpw25:remove-stdlib-semisemi

Conversation

@lpw25
Copy link
Copy Markdown
Contributor

@lpw25 lpw25 commented Mar 28, 2016

The standard library contains a few ;; lying around. I think these are generally considered bad style these days. Since the library is often used as an example of how OCaml code should look, it is probably a good idea to remove them.

I've made this PR against 4.03 because some of the ;; are causing documentation comments not to be attached to definitions. As merlin is now providing documentation for values based on these attached comments it is important to fix them. I'll follow this up with another PR to enable warning 50 on the stdlib and fix up the ambiguous comments.

@mshinwell
Copy link
Copy Markdown
Contributor

I am in favour.

@xavierleroy
Copy link
Copy Markdown
Contributor

I support this clean-up.

@lpw25 lpw25 mentioned this pull request Mar 28, 2016
@damiendoligez
Copy link
Copy Markdown
Member

I don't agree that ;; is bad style, especially for beginners, but it's important to have the doc comments attached to the right thing.

@damiendoligez damiendoligez added this to the 4.03.0 milestone Mar 31, 2016
@lpw25 lpw25 merged commit f41e8f4 into ocaml:4.03 Mar 31, 2016
@pierreweis
Copy link
Copy Markdown
Contributor

pierreweis commented Apr 1, 2016 via email

mshinwell added a commit to mshinwell/ocaml that referenced this pull request Jul 1, 2021
EduardoRFS pushed a commit to esy-ocaml/ocaml that referenced this pull request Jul 23, 2021
stedolan added a commit to stedolan/ocaml that referenced this pull request May 24, 2022
EmileTrotignon pushed a commit to EmileTrotignon/ocaml that referenced this pull request Jan 12, 2024
* Delete example using marginBottom attribute

* Remove marginBottom from Testimonials

* Remove marginBottom from CallToAction.General

* Remove marginBottom from CallToAction.TransparentWide

* Remove marginBottom from HighlightsInQuadrants

* Remove marginBottom from MediaCarousel

* Remove marginBottom from MediaObject

* Remove marginBottom from UserLevelIntroduction

* Remove marginBottom from SectionContainer.MediumCentered

* Remove marginBottom from SectionContainer.VerySmallCentered

* Remove marginBottom from SectionContainer.ResponsiveCentered

* Remove marginBottom from SectionContainer.NoneFilled

* Remove marginBottom and marginTop from Page.Basic

* Fix warning about unused variable

* Remove marginBottom from Page.HighlightSection

* Remove Tailwind module

* Delete obsolete comment

* Restore configurable sectionMargin
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants