scalameta/metals

When a name like `res2` is used in a worksheet, it causes a double definition

Open

#5 680 ouverte le 26 sept. 2023

Voir sur GitHub
 (3 commentaires) (0 réactions) (0 assignés)Scala (421 forks)batch import
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

  1. Open a worksheet
  2. Type a few lines of results to be evaluated.
  3. Define a value named val res2 = 1 to see error. res2

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

Guide contributeur