You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
MikaelMayer opened this issue
Oct 12, 2022
· 0 comments
Labels
area: error-reportingClarity of the error reportingkind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
If we compile a plugin against a version of Dafny, and use it in the DafnyLanguageServer at another version of Dafny, the language server crashes with an error and an exception about the plugin's version, but it's not mentioning the language server's version.
It would be good to actually detect these error messages and clearly state the difference between the language server's version and the plugin's dafny's version
The text was updated successfully, but these errors were encountered:
area: error-reportingClarity of the error reportingkind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
If we compile a plugin against a version of Dafny, and use it in the DafnyLanguageServer at another version of Dafny, the language server crashes with an error and an exception about the plugin's version, but it's not mentioning the language server's version.
It would be good to actually detect these error messages and clearly state the difference between the language server's version and the plugin's dafny's version
The text was updated successfully, but these errors were encountered: