Commit 925d749

committed

Add case for FlexibleType

1 parent 3f10858 commit 925d749Copy full SHA for 925d749

File tree

-4

lines changed

-4

lines changed

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -1912,6 +1912,7 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler`
`1912`	`1912`	`def typeArgs: List[TypeRepr] = self match`
`1913`	`1913`	`case AppliedType(_, args) => args`
`1914`	`1914`	`case AnnotatedType(parent, _) => parent.typeArgs`
	`1915`	`+ case FlexibleType(underlying) => underlying.typeArgs`
`1915`	`1916`	`case _ => List.empty`
`1916`	`1917`	`end extension`
`1917`	`1918`	`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:2542)`
`8`	`9`	`\| at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2541)`
`9`		`- \| at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2540)`
`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: 7 additions & 3 deletions

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,9 @@`
`1`		`-class Cap extends caps.ExclusiveCapability`
	`1`	`+object e:`
	`2`	`+ def foldRL(f: Int => Int)(g: String => Int) = ???`
	`3`	`+`
	`4`	`+`
	`5`	`+val xs = e.foldRL`
	`6`	`+ : i => i + 1`
	`7`	`+ : s => s.length`
`2`	`8`
`3`		`-def test(consume x: Cap) = ???`
`4`	`9`
`5`		`-def impl(using consume x: Cap) = ???`

Comments

(0)