scalameta/metals
When a name like `res2` is used in a worksheet, it causes a double definition
オープン
#5,680 opened on 2023/09/26
buggood first issueworksheets
Repository metrics
- Stars
- (2,300 個のスター)
- PR merge metrics
- (平均マージ 3d 11h) (30d で 122 merged PRs)
説明
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