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.

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

Get TypeRepr/Type type params & substitute #12392

Open
cchantep opened this issue May 9, 2021 · 10 comments
Open

Get TypeRepr/Type type params & substitute #12392

cchantep opened this issue May 9, 2021 · 10 comments
Labels

Comments

@cchantep
Copy link
Member

cchantep commented May 9, 2021

In macro/quoted, doesn't seem possible to neither get the type parameters for a Type/TypeRepr/Symbol, nor subtituteTypes.

@nicolasstucki
Copy link
Contributor

Could you elaborate?

@cchantep
Copy link
Member Author

Scala2 Symbol provides typeParams and a subsituteTypes function.

@nicolasstucki
Copy link
Contributor

Could you point me to the documentation (or code) of those methods?

@cchantep
Copy link
Member Author

See the description

@nicolasstucki
Copy link
Contributor

For subtituteTypes, it seems that we need to expose instantiateParamInfos and instantiate on LambdaType.

Not sure what typeParams returns. Is it the type bounds of the parameters?

@cchantep
Copy link
Member Author

I don't think that subtituteTypes must be limited to LambdaType but on all Type (or TypeRepr).

typeParams returns the applied or unapplied type parameters.

@cchantep
Copy link
Member Author

cchantep commented Jun 5, 2021

Any news?

@cchantep
Copy link
Member Author

up ?

@cchantep
Copy link
Member Author

cchantep commented Aug 1, 2021

Any feeback? From my point of view, that's a blocker with no pragmatic alternative.

@nicolasstucki
Copy link
Contributor

See #13166. Thought I'm lacking a use-case to put as a test.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants