Is there a way to make Scala 3.0.0 work with SBT 1.3.13?
Since the release version artifact name is now scala3-library_3 and not scala3-library_3.0.0.
SBT fails to resolve it when you use scalaVersion := "3.0.0"
and we are bound to use sbt 1.3
we only support sbt >= 1.5
which predated that convention
This section in the dotty docs: https://dotty.epfl.ch/docs/internals/syntax.html#soft-keywords contains a link to https://dotty.epfl.ch/docs/internals/soft-modifier.md which gives a 404. Has the page moved somewhere?
When using tasty-inspector I presume the idea is that we should use the same AST access as is recommended for macros, i.e. splices and quotes. I have a question about parsing from a tasty file. If I wanted to find all the (java) field definitions I could presumable look for val or var, but that would find me all of them, whether they are are top level, i.e. directly in a class and therefore fields or values in a block (which I do not want). In scala-xml terms this is the difference between / and //, i.e. search only on the current level or search all the way down the tree. What is the equivalent when using match and case for tasty inspections?
and yes I do need information that is in the tasty file that is not in the java class definition, such as default values for class arguments and fields
the compiler testcases for tasty-inspector might be helpful: https://github.com/dotty-staging/dotty/tree/master/tests/run-custom-args/tasty-inspector
It looks like infix type operators don't work for
given clauses: https://scastie.scala-lang.org/uDLXML8zQjqyCK5cnSxlvg
1 reply
:type Int =:= Int
Cross posting
I have got like
import cats.effect.*
import cats.*
import cats.implicits.*
type WithEnv[D, R] = D match
case x *: xs => x ?=> WithEnv[xs, R]
case EmptyTuple => R
case _ => D ?=> R
type Deps[F[_]] = (Dispatcher[F], Clock[F], Monad[F])
def findGaps[F[_]](): WithEnv[Deps[F], F[Array[Instant]]] = ???How do I change the return signature of findGaps so that it is simplerWithEnv[Deps, Array[Instant]]
closest I have got is like
type WithEnv[F[_], D[F[_]], R] = D[F] match
case x[f] *: xs => x[F] ?=> WithEnv[xs, R]
case EmptyTuple => F[R]
case _ => D[F] ?=> F[R]
but fails to compile on that tuple desugaring
Would it be possible for documentation such as:-
https://dotty.epfl.ch/api/scala/quoted/Quotes$reflectModule.html?query=trait%20reflectModuleto be sorted alphabetically. Currently they are all over the place and it makes finding things really difficult. I understand this is not a priority, but next time some one is visiting whatever generates these pages it would be nice.
If I have an annotated val and I .show its AST tree (from the tasty file) it shows the annotation. If I .toString the same AST tree there is nothing to indicate that this is annotated. I tried including a case an:Annotated in my match from which I get the ValDefs, but to no avail.
is it possible to make an extension of a f-bounded type?
object FBounded:
trait Self[A <: Self[A]]:
def bar(): Unit = ()
extension [A <: Self[A]](self: A)
def foo(): Unit = ()
trait Me extends Self[Me]
val self: Self[Me] = new Me {}
self.bar()
self.foo() // fails to compilethis last line failed to compile:
[error] 12 | self.foo()
[error] | ^^^^^^^^
[error] | value foo is not a member of FBounded.Self[FBounded.Me].
[error] | An extension method was tried, but could not be fully constructed:
[error] |
[error] | FBounded.foo[A](self)
[error] one error found
@/all 👋 This channel is now closed. We're moving to gitter.im/scala/scala for user questions and https://gitter.im/scala/contributors for compiler development. Additionally, we're experimenting with Github discussions and have recently added a Metaprogramming section to https://github.com/lampepfl/dotty/discussions, feel free to drop by!
my bad