Code

Rework NamedTypes#3494

Code

Merged

odersky merged 58 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#3488dotty-staging/dotty:fix-#3488Copy head branch name to clipboard

Dec 6, 2017

Commits

Commits on Nov 27, 2017

• Generalize symbolic named types

  Show description for 94f8041
  odersky

  committed
  94f8041

  Copy full SHA for 94f8041

• Change isLocallyDefined criterion for TreePickler

  Show description for 9d962b6
  odersky

  committed
  9d962b6

  Copy full SHA for 9d962b6

• Cater for external symbolic references in pickler

  odersky

  committed
  30395c8

  Copy full SHA for 30395c8

• Allow pickling of general symbolic references

  odersky

  committed
  e0866d4

  Copy full SHA for e0866d4

• Create OverloadedSymbol and OverloadedDenotation

  Show description for 68760a4
  odersky

  committed
  68760a4

  Copy full SHA for 68760a4

• More robust implementation of requiredMethod

  Show description for 0864141
  odersky

  committed
  0864141

  Copy full SHA for 0864141

• Optionally make NamedTypes symbolic

  Show description for 12c4429
  odersky

  committed
  12c4429

  Copy full SHA for 12c4429

• Fix Erasure's transformDenot for SingleDenotations

  Show description for 2399c68
  odersky

  committed
  2399c68

  Copy full SHA for 2399c68

• Drop OverloadedSymbol/Denotation

  Show description for cea1823
  odersky

  committed
  cea1823

  Copy full SHA for cea1823

• Don't interpolate or simplify overloaded references

  Show description for 8326890
  odersky

  committed
  8326890

  Copy full SHA for 8326890

• Rework denotations

  Show description for a9291b4
  odersky

  committed
  a9291b4

  Copy full SHA for a9291b4

• Handle shadowed refs under new scheme

  odersky

  committed
  7e32751

  Copy full SHA for 7e32751

• Refine Erasure#transform

  Show description for d3b04aa
  odersky

  committed
  d3b04aa

  Copy full SHA for d3b04aa

• Fixes to handling of overloaded references

  Show description for c247850
  odersky

  committed
  c247850

  Copy full SHA for c247850

• Bugfix in ensureAccessible

  odersky

  committed
  7069e63

  Copy full SHA for 7069e63

• Better diagnostics for implicit shadowing errors

  Show description for 17606c9
  odersky

  committed
  17606c9

  Copy full SHA for 17606c9

• Improve "not found" message.

  Show description for 0a471ee
  odersky

  committed
  0a471ee

  Copy full SHA for 0a471ee

• Better error message for merge errors

  Show description for 5b6657d
  odersky

  committed
  5b6657d

  Copy full SHA for 5b6657d

• Never change the symbol of a symbolic NamedType

  Show description for fc85a41
  odersky

  committed
  fc85a41

  Copy full SHA for fc85a41

• Fixes to the new scheme

  odersky

  committed
  5e584a8

  Copy full SHA for 5e584a8

• Commit to new scheme where symbols of symbolic references never change

  odersky

  committed
  d42da02

  Copy full SHA for d42da02

• Drop hack that hides stale package members

  odersky

  committed
  6aa350a

  Copy full SHA for 6aa350a

• Fix definition of Throwable

  Show description for 3d63680
  odersky

  committed
  3d63680

  Copy full SHA for 3d63680

• Refine determination when denotations can be private

  Show description for a76e884
  odersky

  committed
  a76e884

  Copy full SHA for a76e884

• Avoid stackoverflow in compileNeg

  odersky

  committed
  f1d0dbe

  Copy full SHA for f1d0dbe

• Remove special case in substSym

  odersky

  committed
  b363633

  Copy full SHA for b363633

• Cleanup

  odersky

  committed
  89ec7d6

  Copy full SHA for 89ec7d6

• Replace references to hasFixedSym

  odersky

  committed
  6b6523a

  Copy full SHA for 6b6523a

• Weaken post condition in FirstTransform

  Show description for c4f0a3e
  odersky

  committed
  c4f0a3e

  Copy full SHA for c4f0a3e

• Always reload denotation with initial name of last symbol.

  Show description for da99504
  odersky

  committed
  da99504

  Copy full SHA for da99504

• Avoid stale symbol errors via isStatic

  odersky

  committed
  614daaa

  Copy full SHA for 614daaa

• Refine bringForward

  Show description for 1ad2157
  odersky

  committed
  1ad2157

  Copy full SHA for 1ad2157

• Fix pickling of refs to shadowed inner classes

  odersky

  committed
  18a16e9

  Copy full SHA for 18a16e9

• Allow -uniqid printing on the fly.

  odersky

  committed
  03d7e3f

  Copy full SHA for 03d7e3f

• Revert implementation of stableInRunSymbol

  Show description for 5b818c4
  odersky

  committed
  5b818c4

  Copy full SHA for 5b818c4

• Allow for aut-updating of package members

  Show description for 4dea7de
  odersky

  committed
  4dea7de

  Copy full SHA for 4dea7de

• Make isStatic force less.

  Show description for 37a76d3
  odersky

  committed
  37a76d3

  Copy full SHA for 37a76d3

• Add missing case in TypeComparer

  Show description for 65b30a2
  odersky

  committed
  65b30a2

  Copy full SHA for 65b30a2

• Switch to new Scheme

  odersky

  committed
  25af9f6

  Copy full SHA for 25af9f6

• Move test to pending

  odersky

  committed
  6dcfc63

  Copy full SHA for 6dcfc63

• Fail on all stale references by default

  Show description for 49b78c3
  odersky

  committed
  49b78c3

  Copy full SHA for 49b78c3

• Change treatment of signatures in TermRefs

  Show description for c3be42e
  odersky

  committed
  c3be42e

  Copy full SHA for c3be42e

• Drop all code under !newScheme

  odersky

  committed
  24ca6c0

  Copy full SHA for 24ca6c0

• Drop NamedType.withSym

  odersky

  committed
  a1ae7f9

  Copy full SHA for a1ae7f9

• Replace invalidateDenot by reloadDenot

  odersky

  committed
  939d1e2

  Copy full SHA for 939d1e2

• Change visibility of some NamedType operations

  Show description for 5b49561
  odersky

  committed
  5b49561

  Copy full SHA for 5b49561

• Resolve previously marked issues

  odersky

  committed
  0c87b7b

  Copy full SHA for 0c87b7b

• Polishings

  odersky

  committed
  c3f43f9

  Copy full SHA for c3f43f9

• Make sure bringForward returns a denotation valid in current period

  Show description for 6953dfb
  odersky

  committed
  6953dfb

  Copy full SHA for 6953dfb

• Handle import aliases of implicit definitions

  Show description for 68cd5e6
  odersky

  committed
  68cd5e6

  Copy full SHA for 68cd5e6

• Fix rebase breakage

  Show description for f33529c
  odersky

  committed
  f33529c

  Copy full SHA for f33529c

• Rename ImplicitDef -> ImplicitRef

  odersky

  committed
  c81f282

  Copy full SHA for c81f282

• More tests

  odersky

  committed
  6ff60da

  Copy full SHA for 6ff60da

• Add original test that caused the whole rewrite

  odersky

  committed
  8578fa1

  Copy full SHA for 8578fa1

• Fix rebase breakage

  odersky

  committed
  dd95817

  Copy full SHA for dd95817

Commits on Nov 28, 2017

• Harden IDE

  Show description for eb93112
  odersky

  committed
  eb93112

  Copy full SHA for eb93112

Commits on Nov 29, 2017

• Some renamings

  odersky

  committed
  2524788

  Copy full SHA for 2524788

Commits on Dec 6, 2017

• Adress reviewers comments

  Show description for 759af1e
  odersky

  committed
  759af1e

  Copy full SHA for 759af1e