-
Notifications
You must be signed in to change notification settings - Fork 256
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
Adding errorids for refinement errors #4091
Conversation
docs/HowToFAQ/Errors-Refinement.md
Outdated
|
||
The declarations in a refining module must have the same type as in the base module. In fact, to enable easier checking that the type | ||
has not changed, the type must be expressed in the same syntactic form in the two declarations. It is not permitted to use a type in one place and | ||
an equivalent type synonym in the other. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
an equivalent type synonym in the other. | |
an equivalent type synonym in another. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Reworded.
docs/HowToFAQ/Errors-Refinement.md
Outdated
``` | ||
|
||
A refined declaration of a `const` may add an initializer, but it cannot replace an initializer declared in the base, | ||
even if it is syntactically the same value. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Use an example that "is syntactically the same value"?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Added.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks, I only found a few typos.
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
Co-authored-by: Stefan Zetzsche <[email protected]>
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.