Code

Add typeclass derivation#5540

Code

Merged

odersky merged 56 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-derive-2dotty-staging/dotty:add-derive-2Copy head branch name to clipboard

Jan 19, 2019

Commits

Commits on Jan 19, 2019

• Allow `,` in parents of template

  Show description for 0dc0191
  odersky

  committed
  0dc0191

  Copy full SHA for 0dc0191

• Syntax and parsing for `derives` clauses

  odersky

  committed
  6bf25d2

  Copy full SHA for 6bf25d2

• Make `derives` a soft keyword

  odersky

  committed
  2e72be4

  Copy full SHA for 2e72be4

• Clarify regular and soft keywords keywords in syntax.md

  odersky

  committed
  ae79a8a

  Copy full SHA for ae79a8a

• Represent derives clauses in Template trees

  Show description for fb09e82
  odersky

  committed
  fb09e82

  Copy full SHA for fb09e82

• Make Case a FromStartFlag

  odersky

  committed
  c8357b2

  Copy full SHA for c8357b2

• Reorganize children handling

  Show description for b3c48d3
  odersky

  committed
  b3c48d3

  Copy full SHA for b3c48d3

• Improve error diagnostics for implicits not found

  Show description for fe9f40a
  odersky

  committed
  fe9f40a

  Copy full SHA for fe9f40a

• Flesh out test

  Show description for 4642070
  odersky

  committed
  4642070

  Copy full SHA for 4642070

• Fix tests

  odersky

  committed
  1d58888

  Copy full SHA for 1d58888

• Deriving infrastructure in typelevel

  odersky

  committed
  7eda566

  Copy full SHA for 7eda566

• Partial Implementation of Deriving functionality

  odersky

  committed
  7adc4c4

  Copy full SHA for 7adc4c4

• Auto-generated derived typeclass instances

  Show description for a1fbe5f
  odersky

  committed
  a1fbe5f

  Copy full SHA for a1fbe5f

• Flesh out derived$shaped

  odersky

  committed
  ceb5f2e

  Copy full SHA for ceb5f2e

• More blacklisting and test fixing

  odersky

  committed
  83bc248

  Copy full SHA for 83bc248

• Complete first version of derivation scheme

  odersky

  committed
  6e48ee1

  Copy full SHA for 6e48ee1

• Allow derivation for classes with no companions

  Show description for 9063951
  odersky

  committed
  9063951

  Copy full SHA for 9063951

• Handle derived typeclasses with non-trivial prefixes

  odersky

  committed
  0377cab

  Copy full SHA for 0377cab

• Scaling test

  odersky

  committed
  27f96dc

  Copy full SHA for 27f96dc

• Move typelevel classes to src-bootstrapped

  Show description for 17b0fee
  odersky

  committed
  17b0fee

  Copy full SHA for 17b0fee

• Rename typelevel package to compiletime

  odersky

  committed
  34f9c84

  Copy full SHA for 34f9c84

• Packaging reorgs

  Show description for e36c5e2
  odersky

  committed
  e36c5e2

  Copy full SHA for e36c5e2

• Add docs

  odersky

  committed
  0db9e9d

  Copy full SHA for 0db9e9d

• blacklist new test for pickling

  odersky

  committed
  944eca0

  Copy full SHA for 944eca0

• Shaped -> Generic

  Show description for 98fcbc1
  odersky

  committed
  98fcbc1

  Copy full SHA for 98fcbc1

• Change Shaped -> Generic

  Show description for 0e8e7ce
  odersky

  committed
  0e8e7ce

  Copy full SHA for 0e8e7ce

• Fix order of Child annotations.

  Show description for 04c3ae7
  odersky

  committed
  04c3ae7

  Copy full SHA for 04c3ae7

• Synthesize Generic instances on the fly

  Show description for d81ce91
  odersky

  committed
  d81ce91

  Copy full SHA for d81ce91

• Handle duplicate children

  odersky

  committed
  f1467f3

  Copy full SHA for f1467f3

• Allow to derive directly from Generic

  Show description for dffa71b
  odersky

  committed
  dffa71b

  Copy full SHA for dffa71b

• Improve robustness in the face of errors

  odersky

  committed
  5eca939

  Copy full SHA for 5eca939

• Drop redundant check

  Show description for 12609e4
  odersky

  committed
  12609e4

  Copy full SHA for 12609e4

• Fixes to positions

  Show description for 4d52930
  odersky

  committed
  4d52930

  Copy full SHA for 4d52930

• Revert changes to CheckRealizable

  Show description for f3d901e
  odersky

  committed
  f3d901e

  Copy full SHA for f3d901e

• Fix patmat exhaustivity check files

  Show description for 465ffcc
  odersky

  committed
  465ffcc

  Copy full SHA for 465ffcc

• Polishings

  odersky

  committed
  d4025d6

  Copy full SHA for d4025d6

• Tweaks to docs

  odersky

  committed
  1a9c5c0

  Copy full SHA for 1a9c5c0

• Fix typo

  odersky

  committed
  1a58222

  Copy full SHA for 1a58222

• Revert to standard implicit syntax in docs

  Show description for 7fccb61
  odersky

  committed
  7fccb61

  Copy full SHA for 7fccb61

• Polishings

  odersky

  committed
  46e4b19

  Copy full SHA for 46e4b19

• Fix erasure of *: and NonEmptyTuple

  Show description for 5182b8b
  odersky

  committed
  5182b8b

  Copy full SHA for 5182b8b

• Make NonEmptyTuple `sealed`.

  odersky

  committed
  efb3e5f

  Copy full SHA for efb3e5f

• More tests

  odersky

  committed
  4e594ed

  Copy full SHA for 4e594ed

• Fix typos

  odersky

  committed
  8e98772

  Copy full SHA for 8e98772

• Add derived field to Tasty reflect

  odersky

  committed
  683b93b

  Copy full SHA for 683b93b

• Drop failing assertion

  Show description for 569f918
  odersky

  committed
  569f918

  Copy full SHA for 569f918

• Add missing comma and update checkfiles

  

  nicolasstucki

  authored and

  odersky

  committed
  e3f74e3

  Copy full SHA for e3f74e3

• Update another check file

  odersky

  committed
  d9be6e2

  Copy full SHA for d9be6e2

• Fix rebase breakage

  odersky

  committed
  caece0e

  Copy full SHA for caece0e

• Fix test

  odersky

  committed
  9d87241

  Copy full SHA for 9d87241

• Another check file fix

  odersky

  committed
  248971b

  Copy full SHA for 248971b

• Fix typos in documentation

  

  OlivierBlanvillain

  authored and

  odersky

  committed
  49901fe

  Copy full SHA for 49901fe

• Fix spacing and add return types

  

  OlivierBlanvillain

  authored and

  odersky

  committed
  4cd81ba

  Copy full SHA for 4cd81ba

• Fix failing fuzzy test

  odersky

  committed
  296958e

  Copy full SHA for 296958e

• Fix rebase breakage

  odersky

  committed
  bbb54cb

  Copy full SHA for bbb54cb

• Fix indent

  odersky

  committed
  5e4fa24

  Copy full SHA for 5e4fa24