PatDef desugaring problem

[liufengyun]

Following code compiles fine in scalac but failed to compile in dotty. The cause is mostly like to be unmatched cases when desugaring patdef, as in #1748 .

object Test {
  implicit class Foo(sc: StringContext) {
    object q {
      def unapply(arg: Any): Option[(Any, Any)] =
        Some((sc.parts(0), sc.parts(1)))
    }
  }

  def main(args: Array[String]): Unit = {
    val q"class ${name: String} extends ${parent: String}" = new Object
    println(name)
    println(parent)
  }
}

[DarkDimius]

Akaik quasiqote desugaring in scalac relies on non-specified details of desugaring.

…

On 5 December 2016 09:28:00 liu fengyun ***@***.***> wrote: Following code compiles fine in scalac but failed to compile in dotty. The cause is mostly like to be unmatched cases when desugaring patdef, as in #1748 . ```Scala object Test { implicit class Foo(sc: StringContext) { object q { def unapply(arg: Any): Option[(Any, Any)] = Some((sc.parts(0), sc.parts(1))) } } def main(args: Array[String]): Unit = { val q"class ${name: String} extends ${parent: String}" = new Object println(name) println(parent) } } ``` -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: #1773

[DarkDimius]

Cc @densh

…

On 5 December 2016 09:28:00 liu fengyun ***@***.***> wrote: Following code compiles fine in scalac but failed to compile in dotty. The cause is mostly like to be unmatched cases when desugaring patdef, as in #1748 . ```Scala object Test { implicit class Foo(sc: StringContext) { object q { def unapply(arg: Any): Option[(Any, Any)] = Some((sc.parts(0), sc.parts(1))) } } def main(args: Array[String]): Unit = { val q"class ${name: String} extends ${parent: String}" = new Object println(name) println(parent) } } ``` -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: #1773

[liufengyun]

@DarkDimius it seems that adding a case for Block in Desugar#getVariables fix the problem, though there's another problem in RefChecks.

[xeno-by]

@liufengyun What's the problem with RefChecks that you were referring to in the last comment?