Commit 3f10858

committed

Make typeArgs in QuotesImpl work for AnnotatedTypes

1 parent 20c62f8 commit 3f10858Copy full SHA for 3f10858

File tree

+16

-1

lines changed

+16

-1

lines changed

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -1911,6 +1911,7 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler`
`1911`	`1911`
`1912`	`1912`	`def typeArgs: List[TypeRepr] = self match`
`1913`	`1913`	`case AppliedType(_, args) => args`
	`1914`	`+ case AnnotatedType(parent, _) => parent.typeArgs`
`1914`	`1915`	`case _ => List.empty`
`1915`	`1916`	`end extension`
`1916`	`1917`	`end TypeReprMethods`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -5,8 +5,8 @@`
`5`	`5`	`\| Exception occurred while executing macro expansion.`
`6`	`6`	\| java.lang.IllegalArgumentException: requirement failed: value of StringConstant cannot be `null`
`7`	`7`	`\| at scala.Predef$.require(Predef.scala:393)`
	`8`	`+ \| at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2541)`
`8`	`9`	`\| at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2540)`
`9`		`- \| at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2539)`
`10`	`10`	`\| at scala.quoted.ToExpr$StringToExpr.apply(ToExpr.scala:82)`
`11`	`11`	`\| at scala.quoted.ToExpr$StringToExpr.apply(ToExpr.scala:80)`
`12`	`12`	`\| at scala.quoted.Expr$.apply(Expr.scala:72)`

Lines changed: 11 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,11 @@`
	`1`	`+`
	`2`	`+import scala.quoted._`
	`3`	`+`
	`4`	`+object Eval:`
	`5`	`+`
	`6`	`+ inline def eval[T](x: List[T]) = ${ evalImpl[T]('x) }`
	`7`	`+ def evalImpl[A](x: Expr[List[A]])(using Quotes): Expr[Unit] =`
	`8`	`+ import quotes.reflect.*`
	`9`	`+ println(x.asTerm.tpe.widen)`
	`10`	`+ x.asTerm.tpe.widen.typeArgs.head`
	`11`	`+ '{()}`

Lines changed: 3 additions & 0 deletions

Comments

(0)