scalameta/metals
When a name like `res2` is used in a worksheet, it causes a double definition
开放
#5,680 创建于 2023年9月26日
buggood first issueworksheets
仓库指标
- 星标
- (2,300 个星标)
- PR 合并指标
- (平均合并 3天 11小时) (30 天内合并 122 个 PR)
描述
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