scalameta/metals
Vedi su GitHubWhen a name like `res2` is used in a worksheet, it causes a double definition
Open
#5680 aperta il 26 set 2023
buggood first issueworksheets
Metriche repository
- Star
- (2300 star)
- Metriche merge PR
- (Merge medio 3g 11h) (122 PR mergiate in 30 g)
Descrizione
Describe the bug
- Open a worksheet
- Type a few lines of results to be evaluated.
- Define a value named
val res2 = 1to see error.
Expected behavior
Should evaluate OK.
Operating system
Linux
Editor/Extension
VS Code
Version of Metals
v1.0.1
Extra context or search terms
worksheet, result, double definition, Mdoc