Skip to content

Lift a Class[T] to an Expr[Class[T]] #3947

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
Closed
nicolasstucki opened this issue Jan 30, 2018 · 2 comments
Closed

Lift a Class[T] to an Expr[Class[T]] #3947

nicolasstucki opened this issue Jan 30, 2018 · 2 comments
Assignees
@nicolasstucki
Labels
exp:advanced itype:enhancement stat:fix available

Comments

@nicolasstucki
Copy link
Contributor

We need to be able to lift class tags to be able to lift Array. A ClassTag can be constructed with a java.lang.Class, hence we should be able to lift a java.lang.Class.
@biboudis biboudis assigned biboudis and nicolasstucki and unassigned biboudis Feb 19, 2018
@nicolasstucki
Copy link
Contributor Author

nicolasstucki commented Feb 26, 2018 •
edited
Loading

It looks like having Expr[reflect.ClassTag[T]] is enough.

@nicolasstucki nicolasstucki reopened this Mar 26, 2018
@nicolasstucki
Copy link
Contributor Author

Expr[reflect.ClassTag[T]] is enough but not practical.

nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Mar 26, 2018
@nicolasstucki
Fix scala#3947: Support lifting of java.lang.Class
751b00c
nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Mar 26, 2018
@nicolasstucki
Fix scala#3947: Support lifting of java.lang.Class
90ec48a
nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Mar 26, 2018
@nicolasstucki
Fix scala#3947: Support lifting of java.lang.Class
02623ff
nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Mar 26, 2018
@nicolasstucki
Fix scala#3947: Support lifting of java.lang.Class
d1dabaa
nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Mar 27, 2018
@nicolasstucki
Fix scala#3947: Support lifting of java.lang.Class
f2a99cd
nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Mar 27, 2018
@nicolasstucki
Fix scala#3947: Support lifting of java.lang.Class
5b271bc
nicolasstucki added a commit that referenced this issue Mar 29, 2018
@nicolasstucki
Merge pull request #4193 from dotty-staging/lift-class
b6dbe42 
Fix #3947: Support lifting of java.lang.Class
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nicolasstucki nicolasstucki

Labels
exp:advanced itype:enhancement stat:fix available
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@biboudis @nicolasstucki