Code

More stdlib#995

Code

Closed

odersky wants to merge 50 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:more-stdlibdotty-staging/dotty:more-stdlibCopy head branch name to clipboard

Commits

Commits on Dec 6, 2015

• Drop requirement that an isRef type cannot be refined.

  Show description for cf79403
  odersky

  committed
  cf79403

  Copy full SHA for cf79403

• Don't count partial applications as applications.

  odersky

  committed
  4c8db87

  Copy full SHA for 4c8db87

• Disallow existentially bound parameters as type parameters

  Show description for df00eb1
  odersky

  committed
  df00eb1

  Copy full SHA for df00eb1

• Change hk naming scheme

  odersky

  committed
  0fde4b4

  Copy full SHA for 0fde4b4

• Add missing type params in test

  odersky

  committed
  f89b562

  Copy full SHA for f89b562

• Extractors and other new functionality for type applications

  odersky

  committed
  7eeb565

  Copy full SHA for 7eeb565

• Use typeapp extractors for printing

  odersky

  committed
  e63f058

  Copy full SHA for e63f058

• Fix adaptIfHK and drop rawTypeParams

  odersky

  committed
  e14be2d

  Copy full SHA for e14be2d

• Drop redundant check in beta reduce

  odersky

  committed
  67d2833

  Copy full SHA for 67d2833

• Use new adaptArgs for Scala2Unpickler

  Show description for 2abcd02
  odersky

  committed
  2abcd02

  Copy full SHA for 2abcd02

• More uses of adaptIfHK

  Show description for 73bf06b
  odersky

  committed
  73bf06b

  Copy full SHA for 73bf06b

• Base Application extractor on classSymbols

  Show description for 91a865c
  odersky

  committed
  91a865c

  Copy full SHA for 91a865c

• Fix problem with printing lambdas.

  Show description for 261087a
  odersky

  committed
  261087a

  Copy full SHA for 261087a

• Don't recognize type bounds as lambda abstractions

  Show description for 56e63ed
  odersky

  committed
  56e63ed

  Copy full SHA for 56e63ed

• Fix bug computing typeParams for hk types

  Show description for 05c0e55
  odersky

  committed
  05c0e55

  Copy full SHA for 05c0e55

• Fix bug computing typeParams for hk types

  Show description for 8db7a9b
  odersky

  committed
  8db7a9b

  Copy full SHA for 8db7a9b

• Fix to TypeLambda over with a TypeBounds body

  Show description for 130c24c
  odersky

  committed
  130c24c

  Copy full SHA for 130c24c

• Fixes to TypeLambda and EtaExpansion extractors.

  Show description for 1fe3310
  odersky

  committed
  1fe3310

  Copy full SHA for 1fe3310

• Fully type annotate Printers

  Show description for 8cd50f7
  odersky

  committed
  8cd50f7

  Copy full SHA for 8cd50f7

• Better diagnostics for applyOverloaded.

  odersky

  committed
  dec21f5

  Copy full SHA for dec21f5

• Switch to new hk scheme.

  odersky

  committed
  f8d82c2

  Copy full SHA for f8d82c2

• Reset constraint when one of several implicit arguments is not found.

  odersky

  committed
  d186a33

  Copy full SHA for d186a33

• Fix printing of type lambdas

  odersky

  committed
  56dd29d

  Copy full SHA for 56dd29d

• Allow for F-bounded bounds in TypeLambda

  odersky

  committed
  6519309

  Copy full SHA for 6519309

• Be DRY betweeen EtaExpand and LambdaAbstract

  Show description for 50d2652
  odersky

  committed
  50d2652

  Copy full SHA for 50d2652

• Avoid false positives when extracting AppliedType

  odersky

  committed
  f6d1153

  Copy full SHA for f6d1153

• Fix tasty test failures

  Show description for 378b96f
  odersky

  committed
  378b96f

  Copy full SHA for 378b96f

• Move failing test to pending

  Show description for b8c6e73
  odersky

  committed
  b8c6e73

  Copy full SHA for b8c6e73

• Code and documentation cleanups

  odersky

  committed
  7f6decf

  Copy full SHA for 7f6decf

• Cleanup of RefinedType subtype comparison.

  odersky

  committed
  169c8dc

  Copy full SHA for 169c8dc

Commits on Dec 7, 2015

• Remove redundant type parameter in testLifted

  odersky

  committed
  06175dd

  Copy full SHA for 06175dd

• Rename TypeArgument -> BaseTypeArg flag.

  Show description for 0718170
  odersky

  committed
  0718170

  Copy full SHA for 0718170

• Make all arg bindings have flag BaseTypeArg.

  Show description for 86fc419
  odersky

  committed
  86fc419

  Copy full SHA for 86fc419

• Disregard BaseTypeArg parameters when variance checking.

  Show description for d2e5393
  odersky

  committed
  d2e5393

  Copy full SHA for d2e5393

• Fix of too strict variance checking.

  Show description for 16a318b
  odersky

  committed
  16a318b

  Copy full SHA for 16a318b

• Add whitelist entries which now work

  Show description for 83080d5
  odersky

  committed
  83080d5

  Copy full SHA for 83080d5

Commits on Dec 8, 2015

• Remove stray assignment

  odersky

  committed
  7cfc987

  Copy full SHA for 7cfc987

• Avoid unassigned type errors when typing curried functions.

  Show description for 6379852
  odersky

  committed
  6379852

  Copy full SHA for 6379852

• Fix tricky bug coming up when compiling TraversableViewLike.

  odersky

  committed
  ac260c1

  Copy full SHA for ac260c1

• Do not report data races between symbols defined in class and its selftype

  Show description for 038cbf4
  odersky

  committed
  038cbf4

  Copy full SHA for 038cbf4

Commits on Dec 10, 2015

• Adaptations to checkSymAssign

  Show description for e6bc464
  odersky

  committed
  e6bc464

  Copy full SHA for e6bc464

• Fix sleeper bug in ParamForwarding

  Show description for e00d508
  odersky

  committed
  e00d508

  Copy full SHA for e00d508

• Make some types of definitions symbolic

  Show description for fa89fb0
  odersky

  committed
  fa89fb0

  Copy full SHA for fa89fb0

• Add test case

  odersky

  committed
  ecd3073

  Copy full SHA for ecd3073

• Drop redundant condition

  odersky

  committed
  b10f2d9

  Copy full SHA for b10f2d9

• Better diagnostics for clashing classes

  Show description for 641ab26
  odersky

  committed
  641ab26

  Copy full SHA for 641ab26

• Convert super. prefixes of types to this.

  Show description for 3fa8ef2
  odersky

  committed
  3fa8ef2

  Copy full SHA for 3fa8ef2

Commits on Dec 11, 2015

• Fix problem handling SuperTypes in asSeenFrom

  Show description for 1ec9de9
  odersky

  committed
  1ec9de9

  Copy full SHA for 1ec9de9

• Better diagnosis for cyclic references caused by class clashes.

  Show description for 4b18bcb
  odersky

  committed
  4b18bcb

  Copy full SHA for 4b18bcb

• Add new whitelists tests.

  odersky

  committed
  d9b8c08

  Copy full SHA for d9b8c08