Skip to content
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

Fix record fields and constructors indentation #507

Merged

Conversation

lubegasimon
Copy link
Collaborator

@lubegasimon lubegasimon commented Oct 16, 2020

Addressing #505.

Screenshot_2020-10-16 Renderer (odoc Odoc_document Renderer)(1)

@Drup
Copy link
Contributor

Drup commented Oct 16, 2020

The indentation fix is great 👍 . I'll merge as soon as you drop the linkification change (as we discussed in #506 ).

@Drup
Copy link
Contributor

Drup commented Oct 16, 2020

Also, as a small aside: if we decide to remove pieces of markup, I prefer to actually remove them, instead of just turning them invisible. ;)

Signed-off-by: lubegasimon <lubegasimon73@gmail.com>
@lubegasimon lubegasimon force-pushed the fix-record-fields-and-constructor-concerns branch from 94d975f to b1c4a8d Compare October 16, 2020 11:13
@lubegasimon
Copy link
Collaborator Author

Also, as a small aside: if we decide to remove pieces of markup, I prefer to actually remove them, instead of just turning them invisible. ;)

You're right, for performance reasons.

@lubegasimon lubegasimon changed the title Fix record fields and constructors indentation and linkable behaviour Fix record fields and constructors indentation Oct 16, 2020
@Drup
Copy link
Contributor

Drup commented Oct 16, 2020

You're right, for performance reasons.

Actually, no: for software engineering reason: code that is used to produce unneeded stuff is dead, and dead code is technical debt, which leads to unmaintainable messy software.

@jonludlam jonludlam merged commit af96c45 into ocaml:master Oct 16, 2020
@lubegasimon lubegasimon deleted the fix-record-fields-and-constructor-concerns branch October 16, 2020 17:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants