Skip to content

scala scala3 Metaprogramming Discussions

Pinned Discussions

ckipp01
Welcome to Dotty Discussions!
Announcements ckipp01

Sort by: Latest activity

Categories, most helpful, and community links

Categories

Loading

Community links

Metaprogramming Discussions

Ask question about Macros and the reflect API

You must be logged in to vote

Get concrete bounds of TypeRepr

s5bug asked Jan 23, 2025 in Metaprogramming · Unanswered

@s5bug @sjrd

@s5bug @sjrd

4
You must be logged in to vote

Compile-time conditional implicit (if fails, continue implicit search)

adamw asked Aug 22, 2022 in Metaprogramming · Unanswered

@adamw @rssh @soronpo

@adamw @rssh @soronpo

4
You must be logged in to vote

Different result of inlining if an inline parameter is a Unit

adamw asked Apr 3, 2024 in Metaprogramming · Answered

@adamw @nicolasstucki @dabrowski-adam

@adamw @nicolasstucki @dabrowski-adam

11
You must be logged in to vote

Why is Expr[A] => A not supported during compile-time?

Kalin-Rudnicki asked Aug 5, 2024 in Metaprogramming · Unanswered

@Kalin-Rudnicki @bishabosha

@Kalin-Rudnicki @bishabosha

8
You must be logged in to vote

Summoning a typeclass in a macro

adamw asked May 10, 2021 in Metaprogramming · Answered

@adamw @joroKr21 @nicolasstucki

@adamw @joroKr21 @nicolasstucki

9
You must be logged in to vote

How to use quotes to add a method with a dynamic name

pwharned asked May 15, 2024 in Metaprogramming · Unanswered

@pwharned @hmf

@pwharned @hmf

1
You must be logged in to vote

How to use TypeDef.apply reflect API to create a type alias?

joroKr21 asked Dec 29, 2023 in Metaprogramming · Unanswered

@joroKr21 @nicolasstucki @jchyb

@joroKr21 @nicolasstucki @jchyb

14
You must be logged in to vote

How to synthesize a higher-kinded type parameter?

TomasMikula asked Mar 21, 2024 in Metaprogramming · Answered

@TomasMikula

@TomasMikula

1
You must be logged in to vote

transparent inline apply: how to achieve the apply syntax sugar?

TomasMikula asked Mar 20, 2024 in Metaprogramming · Answered

@TomasMikula @nicolasstucki @bishabosha

@TomasMikula @nicolasstucki @bishabosha

3
You must be logged in to vote

Is the ability to synthesize a polymorphic function lost in 3.4.0?

TomasMikula asked Feb 29, 2024 in Metaprogramming · Answered

@TomasMikula @sjrd @nicolasstucki

@TomasMikula @sjrd @nicolasstucki

9
You must be logged in to vote

What is the alternative to using underlying/underlyingArgument/matching on Inlined when generating code?

smarter asked Feb 22, 2024 in Metaprogramming · Unanswered

@smarter

@smarter

0
You must be logged in to vote

How to generate constructor invocation on generic case class?

ChAoSUnItY asked Jan 3, 2024 in Metaprogramming · Unanswered

@ChAoSUnItY @Florian3k

@ChAoSUnItY @Florian3k

1
You must be logged in to vote

How to determine if a lambda closes over state in a macro?

armanbilge asked Dec 30, 2023 in Metaprogramming · Unanswered

@armanbilge @nicolasstucki

@armanbilge @nicolasstucki

1
You must be logged in to vote

Generating a match case with wildcard types

adamw asked Dec 22, 2023 in Metaprogramming · Unanswered

@adamw @som-snytt @sjrd

@adamw @som-snytt @sjrd

4
You must be logged in to vote

Is -Yretain-trees still poised to be enabled by default in the future?

neko-kai asked Oct 12, 2022 in Metaprogramming · Unanswered

@neko-kai @joan38

@neko-kai @joan38

2
You must be logged in to vote

Adding implicits to expression's scope

kciesielski asked Oct 17, 2023 in Metaprogramming · Unanswered

@kciesielski @adamw @nicolasstucki

@kciesielski @adamw @nicolasstucki

4
You must be logged in to vote

How to construct a structural type via metaprogramming?

soronpo asked Dec 6, 2021 in Metaprogramming · Answered

@soronpo @nicolasstucki @AugustNagro

@soronpo @nicolasstucki @AugustNagro

14
You must be logged in to vote

How can I implement arbitrary traits with methods that return type members?

cacapouh asked May 3, 2023 in Metaprogramming · Unanswered

@cacapouh

@cacapouh

0
You must be logged in to vote

How to pass multiple type parameters to a function in a quote?

pk044 asked Feb 19, 2023 in Metaprogramming · Unanswered

@pk044

@pk044

0
You must be logged in to vote

Summoning a FromExpr in a macro is failing

hmf asked Jan 19, 2023 in Metaprogramming · Unanswered

@hmf

@hmf

0
You must be logged in to vote

Issue with transformed tuples in an inline function (possibly compiler bug?)

oscar-broman asked Jan 1, 2023 in Metaprogramming · Answered

@oscar-broman @Iltotore

@oscar-broman @Iltotore

4
You must be logged in to vote

Pattern matching on opaque type unions

kyri-petrou asked Dec 1, 2022 in Metaprogramming · Answered

@kyri-petrou @bishabosha

@kyri-petrou @bishabosha

2
You must be logged in to vote

Instantiating a forwarder trait

kubukoz asked Nov 17, 2022 in Metaprogramming · Unanswered

@kubukoz @bishabosha

@kubukoz @bishabosha

4
You must be logged in to vote

Could not find proxy in macro

cquiroz asked Sep 21, 2021 in Metaprogramming · Answered

@cquiroz @kubukoz @tpolecat

@cquiroz @kubukoz @tpolecat

7
You must be logged in to vote

Create TypeRepr of a type with projection

pomadchin asked Nov 8, 2022 in Metaprogramming · Answered

@pomadchin @KacperFKorban

@pomadchin @KacperFKorban

4