aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Add missing case where isHKSubType is neededMartin Odersky2014-06-201-4/+5
* Fixes to lambda abstractionMartin Odersky2014-06-193-6/+17
* Prevent a source of CyclicReference in refined printerMartin Odersky2014-06-191-1/+1
* Delete old, disabled code in TypeComparerMartin Odersky2014-06-181-284/+1
* Handling higher-kinded types with lambdasMartin Odersky2014-06-189-329/+258
* Fixing subtyping of refined typesMartin Odersky2014-06-151-40/+146
* More explanations for -Ycheck failures.Martin Odersky2014-06-131-2/+8
* Fix to printing type parameters.Martin Odersky2014-06-132-4/+4
* 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-122-3/+21
* 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-123-7/+8
* Avoid classtype checking for refinements.Martin Odersky2014-05-302-1/+53
* Simplify result handling in FunProto.Martin Odersky2014-05-303-32/+7
* Always ignore type in selectionProtoMartin Odersky2014-05-302-5/+5
* typedTyped needs to maintain Mode.Martin Odersky2014-05-302-3/+4
* Fix of t2660.Martin Odersky2014-05-301-1/+9
* Fix of t2591.Martin Odersky2014-05-302-2/+7
* Fix of t2504Martin Odersky2014-05-302-24/+53
* Reporter fixMartin Odersky2014-05-301-6/+7
* Refinements in diagnosticsMartin Odersky2014-05-303-5/+15
* Fix of pos/t2454Martin Odersky2014-05-301-5/+6
* Merge pull request #132 from DarkDimius/small-fixesDmitry Petrashko2014-05-204-3/+10
|\
| * Fix too precise type error in LazyVals.Dmitry Petrashko2014-05-091-1/+1
| * withPos for Thickets.Dmitry Petrashko2014-05-091-0/+4
| * Fix phase dependencies calculations broken for non-miniphasesDmitry Petrashko2014-05-091-1/+4
| * Fixing positions not being set in CreateCompanionObjectsDmitry Petrashko2014-05-091-1/+1
* | Fix of pos/t2429Martin Odersky2014-05-208-36/+105
* | Nothing is not a superclass of Null.Martin Odersky2014-05-202-2/+6
* | Avoid hoisting of local classes out of method bodies.Martin Odersky2014-05-203-5/+10
* | Better printing of anonymous classes.Martin Odersky2014-05-203-11/+18
* | More systematic treatment of prototypes.Martin Odersky2014-05-206-59/+108
* | Fix of SI 2133Martin Odersky2014-05-201-1/+2
* | Reporter refactoringMartin Odersky2014-05-206-112/+99
|/
* Fix dotty deviation failure in TailRecDmitry Petrashko2014-05-081-1/+1
* Fixing tpd.ClassDef.Martin Odersky2014-05-081-5/+24
* Adding descriptive message to no-implicits-after-typer assertion.Martin Odersky2014-05-082-2/+4
* Adding a check that owner chains are correct for -YcheckMartin Odersky2014-05-082-1/+19
* Adding dependency tracking to constraint satisfactionMartin Odersky2014-05-085-40/+206
* Tightening of rules for explicit types for implicit defsMartin Odersky2014-05-084-81/+77
* Handling of higher-kinded types in intersections and unions.Martin Odersky2014-05-081-3/+17
* Making dotc/transform Dotty compliantMartin Odersky2014-05-085-35/+37
* Fix for type applications.Martin Odersky2014-05-081-14/+28
* Optimization: Avoid substituting when checking satisfiabilityMartin Odersky2014-05-081-36/+59
* Better wildcard type approximationMartin Odersky2014-05-081-11/+10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 02:02:38 +0000