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

line edit features.mld #1172

Merged
merged 8 commits into from
Jul 31, 2024
Merged

line edit features.mld #1172

merged 8 commits into from
Jul 31, 2024

Conversation

christinerose
Copy link
Contributor

Line editing for features.mld, mostly formatting, grammar, syntax, etc.

I changed several module type expressions to module-type expressions, as it seems "module type" was the adjective for "expression," based on the header Module Types. If it's "module" "type expressions," where "module" is modifying "type expressions," I'll change them back to "module type expressions."

doc/features.mld Outdated Show resolved Hide resolved
Copy link
Collaborator

@panglesd panglesd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! I left some comments in the text.

doc/features.mld Outdated Show resolved Hide resolved
doc/features.mld Outdated Show resolved Hide resolved
doc/features.mld Outdated Show resolved Hide resolved
doc/features.mld Outdated Show resolved Hide resolved
doc/features.mld Outdated Show resolved Hide resolved
doc/features.mld Outdated Show resolved Hide resolved
doc/features.mld Outdated Show resolved Hide resolved
@panglesd panglesd added the no changelog This pull request does not need a changelog entry label Jul 24, 2024
@panglesd
Copy link
Collaborator

Thanks!

@panglesd panglesd merged commit 468ab02 into ocaml:master Jul 31, 2024
13 checks passed
@christinerose christinerose deleted the edit_features branch July 31, 2024 13:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no changelog This pull request does not need a changelog entry
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants