aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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-069-251/+310
* 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
* 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-062-7/+6
* Fix problem with printing lambdas.Martin Odersky2015-12-061-3/+4
* Base Application extractor on classSymbolsMartin Odersky2015-12-061-2/+2
* More uses of adaptIfHKMartin Odersky2015-12-063-20/+21
* 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-063-80/+38
* Extractors and other new functionality for type applicationsMartin Odersky2015-12-061-0/+205
* Add missing type params in testMartin Odersky2015-12-066-15/+15
* Change hk naming schemeMartin Odersky2015-12-063-21/+24
* Disallow existentially bound parameters as type parametersMartin Odersky2015-12-066-34/+39
* 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 #979 from dotty-staging/fix/hk-deep-subtype-2odersky2015-12-062-10/+14
|\
| * TypeComparer: delay looking up members of AndTypesGuillaume Martres2015-11-302-10/+14
* | Merge pull request #988 from smarter/fix/compile-Seqodersky2015-12-054-9/+13
|\ \
| * | Desugar#makeAnnotated: Avoid unnecessary typingGuillaume Martres2015-12-011-1/+1
| * | Compile scala.collection.Seq without double-binding errorGuillaume Martres2015-12-013-8/+12
| |/
* | Merge pull request #990 from lampepfl/DarkDimius-patch-4Dmitry Petrashko2015-12-021-1/+1
|\ \
| * | Indicate regex used for filtering out benchmarks.Dmitry Petrashko2015-12-021-1/+1
|/ /
* | Merge pull request #985 from dotty-staging/tasty-core-testDmitry Petrashko2015-12-021-0/+13
|\ \
| * | Add tests for dotc.core pickling/unpicklingVladimirNik2015-12-021-0/+13
|/ /
* | Merge pull request #987 from dotty-staging/tasty-dotc-reporting-testDmitry Petrashko2015-12-011-1/+1
|\ \ | |/ |/|
| * Removed tasty_dotc_reporting test due to issue #986VladimirNik2015-12-011-1/+1
|/
* Merge pull request #984 from dotty-staging/optimize-subtypingGuillaume Martres2015-11-306-64/+43
|\
| * Update the comment of TypeApplications#argInfoGuillaume Martres2015-11-301-2/+2
| * Fixed commentsMartin Odersky2015-11-301-11/+0
| * Drop argumnt interpolation.Martin Odersky2015-11-305-23/+13
| * Avoid too eager computation in reporting.Martin Odersky2015-11-301-1/+1
| * The change to do compareAlias early caused a dramatic slowdown of compilationMartin Odersky2015-11-301-28/+28
|/
* Merge pull request #983 from dotty-staging/stable-modifier-picklingDmitry Petrashko2015-11-285-1/+16
|\
| * Add pickling/unpickling of stable modifierVladimirNik2015-11-275-1/+16
|/
* Merge pull request #975 from smarter/fix/loggingGuillaume Martres2015-11-262-2/+12
|\
| * Preload scala.util.control.NonFatalGuillaume Martres2015-11-261-1/+6
| * Avoid repeated unnecessary logging in traceIndentedGuillaume Martres2015-11-261-1/+6
|/
* Merge pull request #978 from dotty-staging/companion-methods-duplicationDmitry Petrashko2015-11-261-4/+10
|\