Skip to content

Interactive compiler: go to definition for enum type param #18541

Closed
@kasiaMarek

Description

@kasiaMarek

Compiler version

3.4.0-RC1-bin-20230909-64c3138-NIGHTLY

Minimized code

Find definitions in interactive compiler doesn't find any results for A in MySome, since it is a distinct symbol from A in MyOption and it has zero extent.

enum MyOption[+A]:
  case MySome(value: <<A>>)
  case MyNone

Expectation

A in MyOption should be resolved as the definition.

More context

Here is a workaround in metals pc but it feels like it should be solved on a different level in the compiler, e.g. adding a span of A in MyOption to A in MySome.

Metadata

Metadata

Assignees

Labels

area:presentation-compilerRelated to the presentation compiler module used by Metals and possibly other toolsitype:bug

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions