As part of incremental type checking, when filtering out potentially unwanted parser errors, don't ignore the multiple definitions type error#1086
Merged
zth merged 2 commits intorescript-lang:masterfrom Apr 29, 2025
Conversation
…unwanted parser errors, don't ignore the multiple definitions type error
19512ad to
7406e82
Compare
Member
|
Great work on these last PRs @mediremi! |
Member
Author
|
Thank you! |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
When using incremental type checking, if the compiler reports the multiple definitions type error, the user will see a warning notification:
The reason why this happens is as follows:
incrementalCompilation.compileContentsfilters out diagnostic messages parsed from the compiler’sstderrthat either:i) start with
Uninterpreted extension 'rescript.or,ii) include the source file name
rescript-vscode/server/src/incrementalCompilation.ts
Lines 677 to 687 in 1bf87b3
res.length == 0andhasIgnoredErrorMessages = falseMultiple definition of the <kind> name <name>) prints out the LOC of the repeated definition!d.message.includes(`/${INCREMENTAL_FOLDER_NAME}/${entry.file.sourceFileName}`)This PR fixes this issue by adding an exception to the filter for error messages that include the string
"Multiple definition of the".