scalameta/metals
Voir sur GitHubWhen a name like `res2` is used in a worksheet, it causes a double definition
Open
#5 680 ouverte le 26 sept. 2023
buggood first issueworksheets
Métriques du dépôt
- Stars
- (2 300 stars)
- Métriques de merge PR
- (Merge moyen 3j 11h) (122 PRs mergées en 30 j)
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