wip

Author: nicolasstucki

tests/pos/quotedPatterns.scala

@@ -6,21 +6,22 @@ object Test {
   def g(x: Int, y: Int) = x * y
 
   def res given tasty.Reflection: quoted.Expr[Int] = x match {
-//    case '{1 + 2} => '{0}
-//    case '{f($y)} => y
-//    case '{g($y, $z)} => '{$y * $z}
-//    case '{ ((a: Int) => 3)($y) } => y
-//    case '{ 1 + ($y: Int)} => y
-//    case '{ val a = 1 + ($y: Int); 3 } => y
-//      // currently gives an unreachable case warning
-//      // but only when used in conjunction with the others.
-//      // I believe this is because implicit arguments are not taken
-//      // into account when checking whether we have already seen an `unapply` before.
-//    case '{ val $y: Int = $z; 1 } => z
-//    case '{ ((`$y`: Int) => 1 + y + ($z: Int))(2) } => z
-    case '{ Option(1) match { case Some($n) => $z } } => z
-    // TODO support syntax
+    case '{1 + 2} => '{0}
+    case '{f($y)} => y
+    case '{g($y, $z)} => '{$y * $z}
+    case '{ ((a: Int) => 3)($y) } => y
+    case '{ 1 + ($y: Int)} => y
+    case '{ val a = 1 + ($y: Int); 3 } => y
+      // currently gives an unreachable case warning
+      // but only when used in conjunction with the others.
+      // I believe this is because implicit arguments are not taken
+      // into account when checking whether we have already seen an `unapply` before.
+    case '{ val $y: Int = $z; 1 } => z
+    // TODO do NOT support syntax this syntax
+    case '{ ((`$y`: Int) => 1 + y + ($z: Int))(2) } => z
+    // TODO support syntax this syntax
     // case '{ (($y: Int) => 1 + y + ($z: Int))(2) } => z
+    case '{ Option(1) match { case Some($n) => $z } } => z
     case _ => '{1}
   }
 }