Jon Pretty

For some reason I read the word "macro" in your question, but maybe that's what happens when you've been doing Scala 3 macros all day...

I don't know of one, though. But the macro is very easy. Something like this: def unpack[T <: Singleton & String: Type](using Quotes): Expr[List[Char]] = import quotes.reflect._ TypeRepr.of[T] match case ConstantType(StringConstant(str)) => '{ str.toList } (untested) ;)

Oh, and you'll also need the macro inline def unpack[T <: Singleton & String]: List[Char] = ${unpack[T]}

"access to value str from wrong staging level:" ^^

Ah, you need to do `str.value.toList` outside the `'{}` and then put it inside.

Hum I don't think I follow...

That's because I keep trying to guess at the answer without actually trying it. ;) Give me a moment...!

I tried: private def unpackImpl[S <: Singleton & String: Type](using q: Quotes): Expr[Any] = import q.reflect._ TypeRepr.of[S] match case ConstantType(StringConstant(str)) => '{ Tuple.fromArray(${Expr(str.toArray)}) } Which gives: Cyclic macro dependencies