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 ValueOf instance for non-empty tuples #16531

Open
mperucca opened this issue Dec 15, 2022 · 0 comments
Open

Add ValueOf instance for non-empty tuples #16531

mperucca opened this issue Dec 15, 2022 · 0 comments

Comments

@mperucca
Copy link

I'm not sure where this should go, but it would be nice to have a ValueOf instance for non-empty tuples, perhaps defined like

given nonEmptyTupleValueOf[H: ValueOf, T <: Tuple: ValueOf]: ValueOf[H *: T] = ValueOf(valueOf[H] *: valueOf[T])
littlenag pushed a commit to littlenag/dotty that referenced this issue Dec 17, 2022
@odersky
Patch to avoid crash in scala#16351
1a484de 
This needs follow up but I don't have the time.

 - figure out why we crash and what is the right fix
 - fix the test to compile lib with 2.13

Fixes scala#16531  (provisionally)
little-inferno pushed a commit to little-inferno/dotty that referenced this issue Jan 25, 2023
@odersky @little-inferno
Patch to avoid crash in scala#16351
ff288ed 
This needs follow up but I don't have the time.

 - figure out why we crash and what is the right fix
 - fix the test to compile lib with 2.13

Fixes scala#16531  (provisionally)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mperucca