Code

Inferring tracked#21628

Code

Merged

KacperFKorban merged 21 commits intoscala:mainscala/scala3:mainfrom dotty-staging:infer-trackeddotty-staging/dotty:infer-trackedCopy head branch name to clipboardJan 15, 2025

+347-34

Commits

Commits on Dec 10, 2024

• A PoC for infering tracked with one working case

  KacperFKorban

  committed
  2ec3d68

  Copy full SHA for 2ec3d68

• Check for parameter references in type bounds when infering tracked

  KacperFKorban

  committed
  4115578

  Copy full SHA for 4115578

• Try potential fixes for some of the cyclic referenc errors

  KacperFKorban

  committed
  9d2a245

  Copy full SHA for 9d2a245

• Add non-infering completers for infering tracked

  KacperFKorban

  committed
  50d8d88

  Copy full SHA for 50d8d88

• Some condition reorder fixes related to infering tracked

  KacperFKorban

  committed
  07c62f2

  Copy full SHA for 07c62f2

• Fix some pickling errors •ᴗ•

  KacperFKorban

  committed
  0499af6

  Copy full SHA for 0499af6

• Enable modularity by default to test infering tracked

  KacperFKorban

  committed
  4e6a6f4

  Copy full SHA for 4e6a6f4

• Separate features related to tracked into a separate sub-feature

  KacperFKorban

  committed
  df1048f

  Copy full SHA for df1048f

• Enable tracked by default to test infering tracked

  KacperFKorban

  committed
  2e68fb9

  Copy full SHA for 2e68fb9

• Disable tracked by default, mark accessors as tracked, when infering tracked

  KacperFKorban

  committed
  fca3a65

  Copy full SHA for fca3a65

• Revert "Separate features related to tracked into a separate sub-feature"

  Show description for abc41f6
  KacperFKorban

  committed
  abc41f6

  Copy full SHA for abc41f6

• Refactor checking for symbol references in signatures, when infering tracked

  KacperFKorban

  committed
  5c08c56

  Copy full SHA for 5c08c56

• Also check type members, when infering tracked

  KacperFKorban

  committed
  161f697

  Copy full SHA for 161f697

• Cleanup infer-tracked

  KacperFKorban

  committed
  5e295b3

  Copy full SHA for 5e295b3

• Add a section about tracked inference to the modularity doc

  KacperFKorban

  committed
  0e453a1

  Copy full SHA for 0e453a1

• Add some test cases with current limitations

  KacperFKorban

  committed
  c027987

  Copy full SHA for c027987

• Infer tracked for explicit type class witnesses

  KacperFKorban

  committed
  9231b69

  Copy full SHA for 9231b69

• Don't add tracked to PrivateLocal witnesses

  KacperFKorban

  committed
  7442d5a

  Copy full SHA for 7442d5a

Commits on Jan 10, 2025

• tracked inference review changes

  KacperFKorban

  committed
  90d60cf

  Copy full SHA for 90d60cf

• Merge remote-tracking branch 'origin/main' into infer-tracked

  KacperFKorban

  committed
  4b6a9ad

  Copy full SHA for 4b6a9ad

• tracked inference review changes cd.

  KacperFKorban

  committed
  a96c9c5

  Copy full SHA for a96c9c5