Code

Change : freeze bounds#805

Code

Merged

odersky merged 18 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-freeze-boundsdotty-staging/dotty:change-freeze-boundsCopy head branch name to clipboard

Oct 6, 2015

Commits

Commits on Oct 1, 2015

• Generalize rules for isSubType between NamedTypes.

  Show description for 78239da
  odersky

  committed
  78239da

  Copy full SHA for 78239da

• Change some occurrences of <:< to frozen_<:<

  Show description for fe714ed
  odersky

  committed
  fe714ed

  Copy full SHA for fe714ed

• Replace withMode by addMode

  Show description for 3604a73
  odersky

  committed
  3604a73

  Copy full SHA for 3604a73

• Fix compilation error.

  odersky

  committed
  e14f23b

  Copy full SHA for e14f23b

• Don't log when in Printing mode.

  Show description for 22417e2
  odersky

  committed
  22417e2

  Copy full SHA for 22417e2

• underlyingChain -> underlyingIterator

  Show description for 7352fc4
  odersky

  committed
  7352fc4

  Copy full SHA for 7352fc4

• Restore state when detecting a baseTypeRef cycle.

  odersky

  committed
  c6b2126

  Copy full SHA for c6b2126

• Slight code refactoring

  Show description for 3f4c6a2
  odersky

  committed
  3f4c6a2

  Copy full SHA for 3f4c6a2

• Implement toString for OrderingConstraint

  Show description for 6288a1b
  odersky

  committed
  6288a1b

  Copy full SHA for 6288a1b

• Opportunistically merge A & A -> A and B | B -> B in <:<

  Show description for 424fab7
  odersky

  committed
  424fab7

  Copy full SHA for 424fab7

• Fix typo in previous commit.

  odersky

  committed
  2d6d432

  Copy full SHA for 2d6d432

• Freeze constraints when checking parameter matching and subsumption.

  Show description for 2410651
  odersky

  committed
  2410651

  Copy full SHA for 2410651

• Reshuffle nested and/or calls.

  Show description for cc942e6
  odersky

  committed
  cc942e6

  Copy full SHA for cc942e6

• Add test case

  Show description for d8351e9
  odersky

  committed
  d8351e9

  Copy full SHA for d8351e9

• Move failing test to pending

  Show description for 6497d02
  odersky

  committed
  6497d02

  Copy full SHA for 6497d02

Commits on Oct 6, 2015

• Add explanations for rewritings

  odersky

  committed
  0838b81

  Copy full SHA for 0838b81

• Make prefix covariant in type maps.

  Show description for 0a48b2a
  odersky

  committed
  0a48b2a

  Copy full SHA for 0a48b2a

• Revert "Make prefix covariant in type maps."

  Show description for 3b60c3b
  odersky

  committed
  3b60c3b

  Copy full SHA for 3b60c3b