Add test

Author: nicolasstucki

tests/run-macros/i9812b/Macro_1.scala

@@ -0,0 +1,51 @@
+import quoted._
+import SomeEnum._
+
+trait Liftable[T] {
+  /** Lift a value into an expression containing the construction of that value */
+  def toExpr(x: T): QuoteContext ?=> Expr[T]
+}
+
+object Lift:
+  def apply[T: Liftable](t: T)(using qctx: QuoteContext, ev: Liftable[T]): Expr[T] = ev.toExpr(t)
+
+sealed abstract class SomeEnum
+object SomeEnum:
+  final val Foo = new SomeEnum {}
+  final case class Bar[S <: SomeEnum](s: S) extends SomeEnum
+  object Bar:
+    def apply[S <: SomeEnum](s: S): SomeEnum = new Bar(s)
+
+given LiftFoo as Liftable[Foo.type]:
+  def toExpr(x: Foo.type): QuoteContext ?=> Expr[Foo.type] = '{Foo}
+
+given LiftBar[S <: SomeEnum: Type: Liftable] as Liftable[Bar[S]]:
+  def toExpr(x: Bar[S]): QuoteContext ?=> Expr[Bar[S]] = '{new Bar(${Lift(x.s)})}
+
+sealed abstract class Lst[+T]
+final case class CONS[+T](head: T, tail: Lst[T]) extends Lst[T]
+case object NIL extends Lst[Nothing]
+
+given IntLiftable[T <: Int] as Liftable[T]:
+  def toExpr(x: T): QuoteContext ?=> Expr[T] = qctx ?=> {
+    import qctx.tasty._
+    Literal(Constant(x)).seal.asInstanceOf[Expr[T]]
+  }
+
+given LiftLst[T: Type: Liftable](using ev1: => Liftable[CONS[T]], ev2: => Liftable[NIL.type]) as Liftable[Lst[T]]:
+  def toExpr(xs: Lst[T]): QuoteContext ?=> Expr[Lst[T]] = xs match
+    case NIL               => ev2.toExpr(NIL)
+    case cons @ CONS(_, _) => ev1.toExpr(cons)
+
+given LiftCONS[T: Type: Liftable](using Liftable[Lst[T]]) as Liftable[CONS[T]]:
+  def toExpr(x: CONS[T]): QuoteContext ?=> Expr[CONS[T]] = '{CONS(${Lift(x.head)}, ${Lift(x.tail)})}
+
+given LiftNIL as Liftable[NIL.type]:
+  def toExpr(x: NIL.type): QuoteContext ?=> Expr[NIL.type] = '{NIL}
+
+def mkLst[T](ts: T*) = ts.foldRight(NIL: Lst[T])(CONS(_,_))
+
+def quote123: QuoteContext ?=> Expr[Lst[Int]] = Lift(mkLst(1,2,3))
+
+inline def get123: Lst[Int] = ${ quote123 }
+

tests/run-macros/i9812b/Test_2.scala

@@ -0,0 +1,2 @@
+@main def Test: Unit = println(get123)
+