-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Closed
Labels
area:presentation-compilerRelated to the presentation compiler module used by Metals and possibly other toolsRelated to the presentation compiler module used by Metals and possibly other toolsitype:enhancement
Milestone
Description
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.
Metadata
Metadata
Assignees
Labels
area:presentation-compilerRelated to the presentation compiler module used by Metals and possibly other toolsRelated to the presentation compiler module used by Metals and possibly other toolsitype:enhancement
Type
Projects
Relationships
Development
Select code repository
Activity
tgodzik commentedon Jul 29, 2022
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.
Add custom matchers for completions (fuzzy search for presentation co…
Add custom matchers for completions (fuzzy search for presentation co…
Add custom matchers for completions (fuzzy search for presentation co…
Add custom matchers for completions (fuzzy search for presentation co…