Code

Implement tracked members#21761

Code

Merged

KacperFKorban merged 12 commits intoscala:mainscala/scala3:mainfrom dotty-staging:abstract-trackeddotty-staging/dotty:abstract-trackedCopy head branch name to clipboardDec 19, 2024

+198-62

Commits

Commits on Oct 10, 2024

• First draft of abstract tracked vals

  KacperFKorban

  committed
  6465291

Commits on Oct 11, 2024

• Disallow tracked for unusupported definitions, move tracked modifier behind a flag, reemove debugs and add some more tests

  KacperFKorban

  committed
  f1d146d

Commits on Oct 14, 2024

• Fix handling tracked param accessors

  KacperFKorban

  committed
  d2b6a61

• Fix tracked modifier checks

  KacperFKorban

  committed
  f7b7188

Commits on Oct 17, 2024

• Support inferring precise types for non-overriding members declared as tracked

  KacperFKorban

  committed
  567b2c1

Commits on Nov 1, 2024

• Move setAbstractTrackedInfo to Namer.Completer

  mbovel

  committed
  28b5725

Commits on Nov 3, 2024

• Move tracked inference logic to inferredResultType

  mbovel

  committed
  4133b83

• Also infer a precise type when tracked is not inherited

  mbovel

  committed
  9ff1af7

Commits on Nov 11, 2024

• Merge pull request #53 from dotty-staging/mb/abstract-tracked-namer

  Show description for b15153e
  KacperFKorban

  authored
  b15153e

Commits on Nov 18, 2024

• Add a section about tracked members to the modularity doc and update the

  Show description for 8208d46
  KacperFKorban

  committed
  8208d46

Commits on Dec 18, 2024

• Update compiler/src/dotty/tools/dotc/typer/Namer.scala

  Show description for b3fedfd
  

  KacperFKorban

  and

  odersky

  authored
  b3fedfd

Commits on Dec 19, 2024

• Merge branch 'main' into abstract-tracked

  KacperFKorban

  authored
  214bfda