Fengyun Liu

Thank you!

1

Thanks @densh , this tutorial is incredibly helpful 👍 !

Warn for code that depend on subtle semantics of class parameters in constructors

9

## Minimized example ```Scala class B(val y: Int): println(y) // A warning is due here foo() def foo() = println(y) class C(override val y: Int) extends B(10) @main def Test...

Fix #15764: Warn for problematic parameter overriding

4

Fix #15764: Warn for problematic parameter overriding Check overriding of class parameters This check issues a warning if the use of a class pamameter in the primary constructor potentially has...

Paste in markdown file should remove CSS

1

When I paste something, by default it keeps the CSS style, which is usually not what a markdown writer wants

Strange behaviour related to type test of path-dependent types and divergence from Scala 2

4

## Compiler version 3.5.0-RC1-bin-20240506-1cdf99f-NIGHTLY ## Minimized code ```Scala trait CmdLineParser { outer => trait Opt[+T] { val default: T val names: Set[String] val help: String } trait IntOpt extends Opt[Int]...

Add init test

Reducing frictions when use quoted expressions with tasty reflect

6

The problem can be demonstrated below, which is encountered in https://github.com/scalatest/scalatest/pull/1584: ```Scala def default: Term = { type T implicit val tp: quoted.Type[T] = expr.tpe.seal.asInstanceOf[quoted.Type[T]] '{ DiagrammedExpr.simpleExpr(${expr.seal.cast[T]}, ${ getAnchor(expr) }...

hygiene problem

2

Hygiene is a common problem in macros. We've some initial design ideas about hygiene here: https://github.com/liufengyun/gestalt/pull/77#pullrequestreview-38177513 Generally, hygiene becomes a problem when a name either in user-program or meta-program changes...

A light-weight parser for quasiquotes

5

Currently, gestalt depends on `scala.meta` to parse quasiquotes, the transitive dependencies forms a obstacle for the possible integration of `gestalt` with `dotty` (if it ever happens). It's possible to copy...

support TypeTags

7

The Monadless library uses TypeTags: ```Scala trait Monadless[Monad[_]] { type M[T] = Monad[T] def lift[T](body: T)(implicit m: WeakTypeTag[Monad[_]]): Monad[T] = meta { => val tree = Transformer(toolbox)(body) // cannot access...