Code

Typeclass experiments refactored#20061

Code

Merged

odersky merged 36 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:typeclass-experiments-refactoreddotty-staging/dotty:typeclass-experiments-refactoredCopy head branch name to clipboard

May 7, 2024

Commits

Commits on May 7, 2024

• New modularity language import

  odersky

  committed
  34f17b7

  Copy full SHA for 34f17b7

• Allow vals in using clauses of givens

  odersky

  committed
  31c9e8a

  Copy full SHA for 31c9e8a

• A relaxation concerning exported type aliases

  Show description for 84655ca
  odersky

  committed
  84655ca

  Copy full SHA for 84655ca

• Allow class parents to be refined types.

  Show description for 4894414
  odersky

  committed
  4894414

  Copy full SHA for 4894414

• Introduce tracked class parameters

  Show description for 5189e68
  odersky

  committed
  5189e68

  Copy full SHA for 5189e68

• Make explicit arguments for context bounds an error from 3.5

  odersky

  committed
  ea3c688

  Copy full SHA for ea3c688

• Drop restriction against typedefs at level * only

  Show description for f96a769
  odersky

  committed
  f96a769

  Copy full SHA for f96a769

• Allow types in given definitions to be infix types

  Show description for ef71dcb
  odersky

  committed
  ef71dcb

  Copy full SHA for ef71dcb

• New syntax for given defs

  Show description for 2f58cbc
  odersky

  committed
  2f58cbc

  Copy full SHA for 2f58cbc

• Allow multiple context bounds in `{...}`

  odersky

  committed
  598c6ad

  Copy full SHA for 598c6ad

• Allow renamings `as N` in context bounds

  Show description for a61d2bc
  odersky

  committed
  a61d2bc

  Copy full SHA for a61d2bc

• Implement `deferred` givens

  Show description for b48fb99
  odersky

  committed
  b48fb99

  Copy full SHA for b48fb99

• FIX: Allow ContextBoundParamNames to be unmangled.

  Show description for 600293e
  odersky

  committed
  600293e

  Copy full SHA for 600293e

• Change rules for given prioritization

  Show description for 48000ee
  odersky

  committed
  48000ee

  Copy full SHA for 48000ee

• Allow context bounds in type declarations

  Show description for d923cac
  odersky

  committed
  d923cac

  Copy full SHA for d923cac

• Make some context bound evidence params tracked

  Show description for 4d62692
  odersky

  committed
  4d62692

  Copy full SHA for 4d62692

• FIX: Fix typing of RefinedTypes with watching parents

  Show description for 11d7fa3
  odersky

  committed
  11d7fa3

  Copy full SHA for 11d7fa3

• Also reduce term projections

  Show description for 96fbf29
  odersky

  committed
  96fbf29

  Copy full SHA for 96fbf29

• Implement context bound companions

  odersky

  committed
  ce09ef3

  Copy full SHA for ce09ef3

• Allow contecxt bounds with abstract `Self` types

  Show description for c6388c2
  odersky

  committed
  c6388c2

  Copy full SHA for c6388c2

• Add a doc page

  odersky

  committed
  f444b46

  Copy full SHA for f444b46

• Fix Singleton

  Show description for f713652
  odersky

  committed
  f713652

  Copy full SHA for f713652

• Tweaks to doc pages

  odersky

  committed
  1f2e735

  Copy full SHA for 1f2e735

• Add Precise type class for precise type inference

  odersky

  committed
  94bc6fe

  Copy full SHA for 94bc6fe

• Fix rebase breakage

  odersky

  committed
  887fbc4

  Copy full SHA for 887fbc4

• Delay roll-out of new prioritization scheme:

  Show description for 1e72282
  odersky

  committed
  1e72282

  Copy full SHA for 1e72282

• Fix rebase breakage again

  odersky

  committed
  9d0ca20

  Copy full SHA for 9d0ca20

• Make best effort compilation work with context bound companions

  Show description for fd072dc
  odersky

  committed
  fd072dc

  Copy full SHA for fd072dc

• Tweaks after review

  odersky

  committed
  21f5e67

  Copy full SHA for 21f5e67

• Fix rebase breakage

  odersky

  committed
  d3e6a95

  Copy full SHA for d3e6a95

• Make Singleton an erased class only under modularity import

  odersky

  committed
  b2f0791

  Copy full SHA for b2f0791

• Address review comments

  odersky

  committed
  4f28d8a

  Copy full SHA for 4f28d8a

• Adress review comments with changed docs and new tests

  odersky

  committed
  0dddcb7

  Copy full SHA for 0dddcb7

• Update warn check files

  Show description for 62e0244
  odersky

  committed
  62e0244

  Copy full SHA for 62e0244

• Update InlayHints

  odersky

  committed
  9959f28

  Copy full SHA for 9959f28

• Fix typo

  odersky

  committed
  3c78ada

  Copy full SHA for 3c78ada