aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc
Commit message (Expand)AuthorAgeFilesLines
* Have only one tree pickler per TASTY pickler.Dmitry Petrashko2015-12-202-1/+3
* Fix reading of Longs from tasty. Fixes wrong UUID.Dmitry Petrashko2015-12-201-1/+1
* Linker Specific: allow phases to get to TASTY section.Dmitry Petrashko2015-12-202-16/+25
* Merge pull request #1000 from dotty-staging/fix-#241odersky2015-12-1530-769/+996
|\
| * More tweaks to override checks.Martin Odersky2015-12-151-2/+2
| * Change <:< to overridesMartin Odersky2015-12-151-1/+1
| * Check types for overriding conditions.Martin Odersky2015-12-141-5/+15
| * Use symbolic refs when testing whether a TypeBounds contains a ClassInfoMartin Odersky2015-12-142-9/+14
| * Generalize overriding checking from isDefinedMartin Odersky2015-12-143-1/+9
| * Only select parameterless get methods in unapplys.Martin Odersky2015-12-141-1/+1
| * Improve printing of overloaded denotationsMartin Odersky2015-12-141-1/+1
| * Better diagnosis for cyclic references caused by class clashes.Martin Odersky2015-12-141-1/+6
| * Fix problem handling SuperTypes in asSeenFromMartin Odersky2015-12-141-11/+12
| * Convert super. prefixes of types to this.Martin Odersky2015-12-141-1/+6
| * Better diagnostics for clashing classesMartin Odersky2015-12-144-7/+18
| * Drop redundant conditionMartin Odersky2015-12-141-1/+1
| * Make some types of definitions symbolicMartin Odersky2015-12-141-3/+20
| * Fix sleeper bug in ParamForwardingMartin Odersky2015-12-144-7/+23
| * Adaptations to checkSymAssignMartin Odersky2015-12-141-3/+8
| * Do not report data races between symbols defined in class and its selftypeMartin Odersky2015-12-142-5/+11
| * Fix tricky bug coming up when compiling TraversableViewLike.Martin Odersky2015-12-141-4/+34
| * Avoid unassigned type errors when typing curried functions.Martin Odersky2015-12-141-21/+21
| * Remove stray assignmentMartin Odersky2015-12-141-1/+0
| * Fix of too strict variance checking.Martin Odersky2015-12-141-1/+1
| * Disregard BaseTypeArg parameters when variance checking.Martin Odersky2015-12-141-1/+1
| * Make all arg bindings have flag BaseTypeArg.Martin Odersky2015-12-141-6/+15
| * Rename TypeArgument -> BaseTypeArg flag.Martin Odersky2015-12-141-5/+7
| * Remove redundant type parameter in testLiftedMartin Odersky2015-12-141-1/+1
| * Shortcut in derivesFrom for high bound Any.Martin Odersky2015-12-131-14/+17
| * Better explanation for adaptHkVariancesMartin Odersky2015-12-131-13/+19
| * Avoid cycle when computing setsMartin Odersky2015-12-131-1/+21
| * In isSubType, follow aliases only if prefix is a path.Martin Odersky2015-12-131-2/+20
| * Perform variance adaptation only when needed in isSubTypeMartin Odersky2015-12-135-29/+48
| * Allow bottom types as hk type argumentsMartin Odersky2015-12-112-4/+8
| * Add isBottomType/Class tests to DefinitionsMartin Odersky2015-12-112-4/+7
| * Remove extraneous matchMartin Odersky2015-12-111-10/+6
| * Disallow hk type parameters in lower bounds.Martin Odersky2015-12-115-8/+16
| * Fix TypeLambda extractor.Martin Odersky2015-12-101-3/+11
| * Cleanup of RefinedType subtype comparison.Martin Odersky2015-12-061-9/+7
| * Code and documentation cleanupsMartin Odersky2015-12-061-300/+107
| * Fix tasty test failuresMartin Odersky2015-12-061-4/+4
| * Avoid false positives when extracting AppliedTypeMartin Odersky2015-12-062-2/+18
| * Be DRY betweeen EtaExpand and LambdaAbstractMartin Odersky2015-12-061-15/+7
| * Allow for F-bounded bounds in TypeLambdaMartin Odersky2015-12-061-8/+16
| * Fix printing of type lambdasMartin Odersky2015-12-061-9/+26
| * Reset constraint when one of several implicit arguments is not found.Martin Odersky2015-12-061-1/+7
| * Switch to new hk scheme.Martin Odersky2015-12-068-248/+307
| * Better diagnostics for applyOverloaded.Martin Odersky2015-12-061-9/+16
| * Fully type annotate PrintersMartin Odersky2015-12-061-9/+9
| * Fixes to TypeLambda and EtaExpansion extractors.Martin Odersky2015-12-061-5/+13