Test case for new typeclass derivation scheme#6531

Merged

milessabin merged 35 commits intoscala:masterfrom dotty-staging:tc-derive

Jun 4, 2019

+1,528-762

Commits on May 30, 2019

New test case

odersky
authored and
milessabin
committed
Fix widenAbstractTypes

odersky
authored and
milessabin
committed
Special treatment for Singletons

odersky
authored and
milessabin
committed
Fix printer bug

odersky
authored and
milessabin
committed
Add desugar Printer

odersky
authored and
milessabin
committed
Add deriving.Mirror infrastructure

odersky
authored and
milessabin
committed
Add isGenericProduct test

odersky
authored and
milessabin
committed
Synthesis for mirror infrastructure

odersky
authored and
milessabin
committed
Rename SyntheticMethods -> SyntheticMembers

odersky
authored and
milessabin
committed
Mirror infrastructure for generic sum types

odersky
authored and
milessabin
committed
Refine isGenericSum condition

odersky
authored and
milessabin
committed
Always generate companion objects for sealed classes

odersky
authored and
milessabin
committed
Revert "Always generate companion objects for sealed classes"

odersky
authored and
milessabin
committed
Make enum cases implement Mirror.Singleton

odersky
authored and
milessabin
committed
Add Mirror.Singleton to enum cases after typer

odersky
authored and
milessabin
committed
Refactor special case handling in implicit arguments

odersky
authored and
milessabin
committed
Add new utility method: withAttachment

odersky
authored and
milessabin
committed
Use attachment to mark singleton cases

odersky
authored and
milessabin
committed
Synthesize implicits for product and sum mirrors

odersky
authored and
milessabin
committed
Generate sum mirrors for sealed traits that do not have a companion

odersky
authored and
milessabin
committed
Use Label field for sum and product mirrors

odersky
authored and
milessabin
committed
Synthesize mirrors also for Scala 2 defined classes and objects

odersky
authored and
milessabin
committed
Polishings

odersky
authored and
milessabin
committed
Avoid name clashes by prefixing all type members with Mirrored

odersky
authored and
milessabin
committed
Update typeclass-scaling data using old Generic scheme

odersky
authored and
milessabin
committed
Measure typeclass scaling using new scheme

odersky
authored and
milessabin
committed
Drop old deriving infrastructure

odersky
authored and
milessabin
committed
Make scheme work also for nested classes and companion objects

odersky
authored and
milessabin
committed
Don't constrain MirroredElemTypes to be a subtype of Tuple

odersky
authored and
milessabin
committed
Introduce MirroredTypeConstructor

odersky
authored and
milessabin
committed

Commits on Jun 2, 2019

Commits on Jun 4, 2019