Skip to content

passing preferred filter for getting symbol completions #17706

@vzmerr

Description

@vzmerr

Currently for the following sample code, which requires a fuzzy completion:

object Main {
   type MyType = List[Int]
   def list : MT@@
}

dotty completions does not return a result.

It seems to be due to a filter .startsWith(prefix) somewhere.

If would be cool, if the API allows for the passing of a preferred filter instead, so that results like MyType which do not pass the existing filter, can also be retrieved when desired.

This has application in Scala 3 type completions in Metals.

Activity

tgodzik

tgodzik commented on Jul 29, 2022

@tgodzik
Contributor

I think it would actually be good to move it to the main repo since it's blocking us a bit in terms of UX.

added
area:presentation-compilerRelated to the presentation compiler module used by Metals and possibly other tools
and removed
stat:needs triageEvery issue needs to have an "area" and "itype" label
on Jan 10, 2024
added this to the 3.5.0 milestone on May 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Relationships

None yet

    Participants

    @nicolasstucki@tgodzik@Kordyjan@ckipp01@rochala

    Issue actions

      passing preferred filter for getting symbol completions · Issue #17706 · scala/scala3