Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Document private keyword in module type #508

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.

Sign up for GitHub

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

Jump to bottom
Open
quinn-dougherty opened this issue Apr 8, 2022 · 1 comment
Open

Document private keyword in module type #508

quinn-dougherty opened this issue Apr 8, 2022 · 1 comment
Milestone
v12.0

Comments

@quinn-dougherty
Copy link

Example
@quinn-dougherty quinn-dougherty changed the title private keyword in module type Document private keyword in module type Apr 8, 2022
@fhammerschmidt
Copy link
Member

There is also this idiom:

type element = private {}

Which can be used instead of an abstract type in order for the compiler to not unnecessarily add Primitive_option.some calls for optional props.

Explanation: https://github.com/rescript-lang/rescript/pull/7450/files#r2081532393

@fhammerschmidt fhammerschmidt added this to the v12.0 milestone May 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v12.0
Development

No branches or pull requests
2 participants
@fhammerschmidt @quinn-dougherty