scalameta/metals
Ver no GitHubWhen a name like `res2` is used in a worksheet, it causes a double definition
Open
#5.680 aberto em 26 de set. de 2023
buggood first issueworksheets
Métricas do repositório
- Stars
- (2.300 stars)
- Métricas de merge de PR
- (Mesclagem média 3d 11h) (122 fundiu PRs em 30d)
Description
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