dotty-feature-requests
dotty-feature-requests copied to clipboard
lampepfl
Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests
Opening this issue, as suggested by Martin, to provide a place to discuss the individual warts brought up in the blog post [Warts of the Scala Programming Language](http://www.lihaoyi.com/post/WartsoftheScalaProgrammingLanguage.html) and the...
## Use Case Creating an instance of a given `Type[A]` enriched with helper traits. This functionality is necessary for porting Airframe DI, a dependency injection library (https://wvlet.org/airframe/docs/airframe), to Scala 3....
https://github.com/lampepfl/dotty/blob/master/library/src/scala/quoted/Quotes.scala#L3359 The `Signature` in `Quotes` only exposes `def paramSigs: List[String | Int]` and `def resultSig: String` without any information of type. I think `Quotes` needs a well typed `Signature` for...
## Minimized code ```Scala object x { def f[A, B](f: A ?=> B) = println("1 argument") def f[A, B, C](f: (A, B) ?=> C) = println("2 arguments") } @main def...
This transfers https://github.com/scala/bug/issues/10821 Take ``` case head @ P(x) :: Nil => ``` as ``` case (head @ P(x)) :: Nil => ``` instead of as ``` case head @...
I'd like to export a member with rename, in the manner of `@targetName`. ``` object Stuff: def f = ??? export this.{f => g} ``` I'd like to export an...
Currently, this code does not immediately compile: ```scala type Structural = { def foo: Int } inline def bar[T
When I first learned of the new export feature, I imagined a more disciplined version of Groovy's `@delegate` feature. The use case that jumped to mind is having a class...
Hello! Method polymorphism in Scala is resolved at compile-time and is only resolved for variables with explicitly declared types. My suggestion is to add a `case def` kind of declaration...
