Code

Fix example#35

Code

Open

sideeffffect wants to merge 42 commits intodotty-staging:typeclass-experimentsdotty-staging/dotty:typeclass-experimentsfrom sideeffffect:patch-2sideeffffect/dotty:patch-2Copy head branch name to clipboard

+4,280-421

Commits

Commits on Jan 11, 2024

• New modularity language import

  odersky

  committed
  c6b3b5c

  Copy full SHA for c6b3b5c

• A relaxation concerning exported type aliases

  Show description for 8b12c03
  odersky

  committed
  8b12c03

  Copy full SHA for 8b12c03

• Allow class parents to be refined types.

  Show description for fba554c
  odersky

  committed
  fba554c

  Copy full SHA for fba554c

• Allow vals in using clauses of givens

  odersky

  committed
  ebc6626

  Copy full SHA for ebc6626

• Introduce tracked class parameters

  Show description for 8a10f96
  odersky

  committed
  8a10f96

  Copy full SHA for 8a10f96

• Some tweaks to modularity.md

  odersky

  committed
  11e3c11

  Copy full SHA for 11e3c11

• Make some context bound evidence params tracked

  Show description for c1124bc
  odersky

  committed
  c1124bc

  Copy full SHA for c1124bc

• Make explicit arguments for context bounds an error from 3.5

  odersky

  committed
  88d91cb

  Copy full SHA for 88d91cb

• Use the name of the type parameter as context bound evidence

  Show description for e983566
  odersky

  committed
  e983566

  Copy full SHA for e983566

• Allow contecxt bounds with abstract This types

  Show description for 5285c7c
  odersky

  committed
  5285c7c

  Copy full SHA for 5285c7c

• Drop restriction against typedefs at level * only

  Show description for cd83448
  odersky

  committed
  cd83448

  Copy full SHA for cd83448

• Allow types in given definitions to be infix types

  Show description for c1a04cd
  odersky

  committed
  c1a04cd

  Copy full SHA for c1a04cd

• New syntax for given defs

  Show description for ed0922f
  odersky

  committed
  ed0922f

  Copy full SHA for ed0922f

• Rename This to Self as instance type of type classes

  Show description for 96d9487
  odersky

  committed
  96d9487

  Copy full SHA for 96d9487

• Add is type to Predef

  odersky

  committed
  f8c07bb

  Copy full SHA for f8c07bb

• Allow multiple context bounds in {...}

  odersky

  committed
  875dcbf

  Copy full SHA for 875dcbf

• Allow renamings as N in context bounds

  odersky

  committed
  907635a

  Copy full SHA for 907635a

• Implement deferredSummon

  Show description for c48d4e5
  odersky

  committed
  c48d4e5

  Copy full SHA for c48d4e5

• Allow context bounds in type declarations

  Show description for bac4db9
  odersky

  committed
  bac4db9

  Copy full SHA for bac4db9

• Tweak position where synthetic evidence parameters are added

  Show description for 3b6600c
  odersky

  committed
  3b6600c

  Copy full SHA for 3b6600c

• Fix typing of generated context bound refinements

  Show description for e3f8252
  odersky

  committed
  e3f8252

  Copy full SHA for e3f8252

• Hylolib: Switch to member based type classes

  odersky

  committed
  0b74e02

  Copy full SHA for 0b74e02

• Hylolib: Use name of bound parameter for context bounds

  odersky

  committed
  cd83e4e

  Copy full SHA for cd83e4e

• Hylolib: Some stylistic tweaks

  odersky

  committed
  9b289a1

  Copy full SHA for 9b289a1

• Hylolib: Drop usages of with in givens

  odersky

  committed
  ed4782b

  Copy full SHA for ed4782b

• Dealias before checking for illegal class parents

  odersky

  committed
  8efdd8e

  Copy full SHA for 8efdd8e

• Hylolib: Alternative, statically safe Slice design

  odersky

  committed
  2cb5cd5

  Copy full SHA for 2cb5cd5

• Rename deferredSummon to deferred and allow it for defs

  Show description for bb63cfd
  odersky

  committed
  bb63cfd

  Copy full SHA for bb63cfd

• Treat new style given syntax without a rhs or template as concrete

  Show description for 3d7ae34
  odersky

  committed
  3d7ae34

  Copy full SHA for 3d7ae34

• Fix typing of RefinedTypes with watching parents

  Show description for c5f513d
  odersky

  committed
  c5f513d

  Copy full SHA for c5f513d

• Show that this solves scala#10929

  odersky

  committed
  9f453ca

  Copy full SHA for 9f453ca

• Disambiguate more towards new given syntax, show solution for scala#15840

  Show description for 49af9d0
  odersky

  committed
  49af9d0

  Copy full SHA for 49af9d0

• Also reduce term projections

  Show description for caf0be0
  odersky

  committed
  caf0be0

  Copy full SHA for caf0be0

• Refine rules when context bound evidence is tracked

  Show description for 5479ff4
  odersky

  committed
  5479ff4

  Copy full SHA for 5479ff4

• Add a doc page

  odersky

  committed
  443fe7a

  Copy full SHA for 443fe7a

• Do deferred given resolution only at typer phase

  Show description for 2f3fbe7
  odersky

  committed
  2f3fbe7

  Copy full SHA for 2f3fbe7

• Update SemanticDB expects to account for named context bound evidence parameters

  odersky

  committed
  1d77374

  Copy full SHA for 1d77374

• Fix typos

  odersky

  committed
  e3dcdb5

  Copy full SHA for e3dcdb5

• Update docs/_docs/reference/experimental/typeclasses.md

  Show description for aae3a5f
  

  odersky

  and

  dwijnand

  committed
  aae3a5f

  Copy full SHA for aae3a5f

• Update syntax changes section in doc page

  odersky

  committed
  83e18d3

  Copy full SHA for 83e18d3

• Update docs/_docs/reference/experimental/typeclasses.md

  Show description for e6d5fa9
  

  odersky

  and

  dwijnand

  committed
  e6d5fa9

  Copy full SHA for e6d5fa9

Commits on Jan 14, 2024

• Fix example

  sideeffffect

  authored
  2aa5b93

  Copy full SHA for 2aa5b93