aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core
Commit message (Expand)AuthorAgeFilesLines
* 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-1514-588/+724
|\
| * Use symbolic refs when testing whether a TypeBounds contains a ClassInfoMartin Odersky2015-12-142-9/+14
| * Generalize overriding checking from isDefinedMartin Odersky2015-12-141-0/+1
| * Fix problem handling SuperTypes in asSeenFromMartin Odersky2015-12-141-11/+12
| * Better diagnostics for clashing classesMartin Odersky2015-12-143-3/+3
| * Fix sleeper bug in ParamForwardingMartin Odersky2015-12-141-0/+3
| * 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
| * Remove stray assignmentMartin Odersky2015-12-141-1/+0
| * 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-133-27/+46
| * Allow bottom types as hk type argumentsMartin Odersky2015-12-112-4/+8
| * Add isBottomType/Class tests to DefinitionsMartin Odersky2015-12-111-0/+6
| * Remove extraneous matchMartin Odersky2015-12-111-10/+6
| * Disallow hk type parameters in lower bounds.Martin Odersky2015-12-111-2/+2
| * 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
| * 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
| * Switch to new hk scheme.Martin Odersky2015-12-066-242/+302
| * Fixes to TypeLambda and EtaExpansion extractors.Martin Odersky2015-12-061-5/+13
| * Fix to TypeLambda over with a TypeBounds bodyMartin Odersky2015-12-061-1/+1
| * Fix bug computing typeParams for hk typesMartin Odersky2015-12-062-2/+2
| * Fix bug computing typeParams for hk typesMartin Odersky2015-12-061-1/+3
| * Don't recognize type bounds as lambda abstractionsMartin Odersky2015-12-061-2/+0
| * Base Application extractor on classSymbolsMartin Odersky2015-12-061-2/+2
| * More uses of adaptIfHKMartin Odersky2015-12-061-2/+1
| * Use new adaptArgs for Scala2UnpicklerMartin Odersky2015-12-062-58/+10
| * Drop redundant check in beta reduceMartin Odersky2015-12-061-6/+4
| * Fix adaptIfHK and drop rawTypeParamsMartin Odersky2015-12-061-23/+11
| * Use typeapp extractors for printingMartin Odersky2015-12-061-1/+4
| * Extractors and other new functionality for type applicationsMartin Odersky2015-12-061-0/+205
| * Add missing type params in testMartin Odersky2015-12-064-12/+12
| * Change hk naming schemeMartin Odersky2015-12-063-21/+24
| * Disallow existentially bound parameters as type parametersMartin Odersky2015-12-061-12/+1
| * Don't count partial applications as applications.Martin Odersky2015-12-061-1/+1
| * Drop requirement that an isRef type cannot be refined.Martin Odersky2015-12-061-3/+2
* | Merge pull request #989 from dotty-staging/add/callbackGuillaume Martres2015-12-081-0/+15
|\ \ | |/ |/|
| * Add initial CompilerCallback implementation for IntelliJGuillaume Martres2015-12-031-0/+15
* | Merge pull request #979 from dotty-staging/fix/hk-deep-subtype-2odersky2015-12-061-7/+13
|\ \
| * | TypeComparer: delay looking up members of AndTypesGuillaume Martres2015-11-301-7/+13
| |/