dotty-feature-requests

dotty-feature-requests copied to clipboard

Make match types work with literal types

4

Match types can be used to encode all kinds of type-level computations. The use case I have in mind is to encode numbers into types and then use match types...

dthoma

Writing `final val x = foo` disables widening in type inference. But this is not available on locals — yet, it'd be useful. The need for `final` on locals came...

Blaisorblade

Add support for override autocompletion in vscode

6

Make VS Code support something like in InteliJ, first show list of symbols that can be overriden and the generate a defaul implementation that calls `super.XYZ(...)`. It llooks like: And...

nicolasstucki

Should all Symbols have trees?

1

We now have two different ways to access a tree from a SymDenotation. - The IDE associates trees with toplevel classes and stores them in a `myTree` field of ClassDenotation....

odersky

Benchmark more things

4

Here are some suggestions of things we could add to our benchmarks: - [ ] Benchmark against scalac - [ ] Benchmark against a non-bootstrapped dotty - [x] Benchmark against...

smarter

Scastie code snippet for dotty.epfl.ch

5

Similarly to [scala-lang](https://contributors.scala-lang.org/t/contest-scala-lang-org-frontpage-code-snippet/1141), we would like to add a Scastie embedding on the front page of [dotty.epfl.ch](http://dotty.epfl.ch/). Please share what you think should be the content of this snippet. Here...

allanrenucci

Meta-issue: IDE improvements

1

Testing Infrastructure: ---------------------- - [x] Test that go-to-definition, renaming, completion, … work @nicolasstucki - WIP PR: https://github.com/lampepfl/dotty/pull/3766 - May be handled by making a LSP client for testing based on...

allanrenucci

Reynold Xin from Databricks mentioned that they have a problem generating documentation for joint Scala/Java projects. Ideally ScalaDoc should be able to generate documentation for both parts, so that links...

odersky

Emit a warning when parsing def foo[M[_] <: List[_]](...) as it is probably not what was intended

2

When someone write: ```scala def foo[M[_]

smarter

Automatically turn off colored output when not run in a terminal

10

We should use the same detection mechanism now used by scalac: https://github.com/scala/scala/pull/5663/files#diff-54246962bf5d9d33d2a44254c9422eb3R157

smarter