Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add contextual method types to Quotes API #18477

Closed
nicolasstucki opened this issue Aug 29, 2023 · 2 comments · Fixed by #20249
Closed

Add contextual method types to Quotes API #18477

nicolasstucki opened this issue Aug 29, 2023 · 2 comments · Fixed by #20249
Assignees
@jchyb
Labels
area:metaprogramming:quotes Issues related to quotes and splices itype:enhancement
Milestone
3.5.0

Comments

@nicolasstucki
Copy link
Contributor

Hmm, interesting... It looks like the compiler internally uses ContextualMethodType rather than just MethodType to express a method with (using ...) parameters clause but currently there seems no way to create contextual methods from the quotes' reflect API. @nicolasstucki are there any plans to add this functionality in the nearest future?

Originally posted by @prolativ in #14056 (reply in thread)
@nicolasstucki nicolasstucki added the area:metaprogramming:quotes Issues related to quotes and splices label Aug 29, 2023
@nicolasstucki nicolasstucki self-assigned this Aug 29, 2023
@nicolasstucki
Copy link
Contributor Author

We should add this.

@nicolasstucki nicolasstucki added this to the 3.4.0 milestone Aug 29, 2023
@rssh
Copy link
Contributor

rssh commented Aug 31, 2023

related old issue: #17663

nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Sep 1, 2023
@nicolasstucki
Add Quotes MethodTypeCompanion
97dd61a 
This allow makes it possible to create contextual and implicit method
types.

Fixes scala#18477
@nicolasstucki nicolasstucki mentioned this issue Sep 1, 2023
Closed
@nicolasstucki nicolasstucki modified the milestones: 3.4.0, Future versions Dec 5, 2023
@Gedochao Gedochao assigned jchyb and unassigned nicolasstucki Apr 4, 2024
@jchyb jchyb mentioned this issue Apr 23, 2024
Merged
nicolasstucki added a commit that referenced this issue Apr 25, 2024
@nicolasstucki
Introduce MethodTypeKind to quotes reflection API (#20249)
00802ab 
It allows to create Contextual and Implicit MethodTypes. MethodTypeKind
abstracts away the `MethodTypeCompanion` implementation into a simple
enum style choice for a newly added MethodType apply method. The
MethodType unapply is kept as it was for source compatibility, instead
users are encouraged to use `isImplicit` and `isContextual` methods.

Based on #18499 
Fixes #18477
@Kordyjan Kordyjan modified the milestones: Future versions, 3.5.0 May 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jchyb jchyb

Labels
area:metaprogramming:quotes Issues related to quotes and splices itype:enhancement
Projects
None yet
Milestone
3.5.0
4 participants
@rssh @nicolasstucki @Kordyjan @jchyb