aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core
Commit message (Expand)AuthorAgeFilesLines
* Improved documentationMartin Odersky2014-06-263-5/+17
* Bring LambdaClass inline with its doc comment.Martin Odersky2014-06-261-4/+3
* Avoid crashing on name tests when name is empty.Martin Odersky2014-06-261-4/+4
* Avoid caching values that depend on typevar state.Martin Odersky2014-06-202-19/+41
* Make refines work for aliasesMartin Odersky2014-06-201-17/+21
* Add missing case where isHKSubType is neededMartin Odersky2014-06-201-4/+5
* Fixes to lambda abstractionMartin Odersky2014-06-193-6/+17
* Delete old, disabled code in TypeComparerMartin Odersky2014-06-181-284/+1
* Handling higher-kinded types with lambdasMartin Odersky2014-06-187-315/+232
* Fixing subtyping of refined typesMartin Odersky2014-06-151-40/+146
* Fix to printing type parameters.Martin Odersky2014-06-131-1/+1
* More careful with lookupRefinedMartin Odersky2014-06-131-2/+31
* Harden allOverriddenSymbolsMartin Odersky2014-06-122-2/+7
* Make Lambda#Apply a type field instead of a type parameter.Martin Odersky2014-06-121-2/+5
* Optionally check variance of Lambda classes.Martin Odersky2014-06-121-2/+15
* Fix RefinementType#memberMartin Odersky2014-06-121-3/+4
* Fixing hashing for RefinedThis types.Martin Odersky2014-06-122-3/+3
* Add isLambda... testsMartin Odersky2014-06-122-0/+40
* Names and definitions for LambdasMartin Odersky2014-06-124-13/+81
* Change definition of isLegalPrefix so that it allows projecting on an abstrac...Martin Odersky2014-06-121-3/+4
* Avoid classtype checking for refinements.Martin Odersky2014-05-301-0/+51
* Reporter fixMartin Odersky2014-05-301-6/+7
* Refinements in diagnosticsMartin Odersky2014-05-301-2/+2
* Merge pull request #132 from DarkDimius/small-fixesDmitry Petrashko2014-05-201-1/+4
|\
| * Fix phase dependencies calculations broken for non-miniphasesDmitry Petrashko2014-05-091-1/+4
* | Fix of pos/t2429Martin Odersky2014-05-201-3/+51
* | Nothing is not a superclass of Null.Martin Odersky2014-05-201-1/+1
* | Better printing of anonymous classes.Martin Odersky2014-05-201-0/+11
* | More systematic treatment of prototypes.Martin Odersky2014-05-201-2/+8
|/
* Adding a check that owner chains are correct for -YcheckMartin Odersky2014-05-081-1/+0
* Adding dependency tracking to constraint satisfactionMartin Odersky2014-05-084-40/+200
* Handling of higher-kinded types in intersections and unions.Martin Odersky2014-05-081-3/+17
* Making dotc/transform Dotty compliantMartin Odersky2014-05-081-1/+1
* Fix for type applications.Martin Odersky2014-05-081-14/+28
* Optimization: Avoid substituting when checking satisfiabilityMartin Odersky2014-05-081-36/+59
* Excluding <:< from eligible candidates for views.Martin Odersky2014-05-081-0/+1
* Tightened satisfiablity checks.Martin Odersky2014-05-082-5/+55
* Changed handling of repeated parameters.Martin Odersky2014-05-081-3/+9
* Make sure AnyVal is loaded by classfile parser.Martin Odersky2014-05-081-11/+13
* Fix of TyperState#instTypeMartin Odersky2014-05-082-1/+7
* Making reporters configurableMartin Odersky2014-05-081-0/+6
* isAfterTyper testMartin Odersky2014-05-081-1/+5
* Some more debug info.Martin Odersky2014-05-081-1/+1
* Fixing stillValid codeMartin Odersky2014-05-081-2/+3
* Removing duplication between Any and Object methodsMartin Odersky2014-05-084-74/+72
* Fix withSymAndNameMartin Odersky2014-05-081-5/+6
* Erasure of term refs without symbolsMartin Odersky2014-05-081-1/+1
* Definitions used by backend.Dmitry Petrashko2014-05-061-0/+23
* Helper method to get all members of type.Dmitry Petrashko2014-05-061-1/+1
* Add support for specifying 'all' for -Xprint, -Yskip, etcGuillaume Martres2014-04-211-2/+3