aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* More robust constant foldingMartin Odersky2014-02-031-2/+7
* New benchmark class that allows tuning for #compilers and #runsMartin Odersky2014-02-032-7/+15
* Fix problems with TypeVar instantiationMartin Odersky2014-02-033-10/+13
* Optimize subtype test between refined types with multiple refinementsMartin Odersky2014-02-032-8/+84
* Relaxing check that implicits must have explicit return typeMartin Odersky2014-02-027-10/+10
* Improve eligible caching in implicit search.Martin Odersky2014-02-021-1/+1
* Adding checks for implicit definitionsMartin Odersky2014-02-022-1/+24
* Avoid accessing implicits that come from root imports that are hidden by some...Martin Odersky2014-02-024-12/+37
* wip for implicits handling root imports.Martin Odersky2014-02-022-9/+11
* Cheaper eligibility test for PolyTypes.Martin Odersky2014-02-021-10/+17
* Fix checking for disabled root importsMartin Odersky2014-02-021-5/+5
* Rename dotty.Predef -> dotty.DottyPredefMartin Odersky2014-02-022-2/+2
* Refactoring implicit discardsMartin Odersky2014-02-012-27/+42
* Revert "Dropping a type annotation, which is no longer needed."Martin Odersky2014-02-011-1/+2
* Make argument types of viewproto undergo WildApprox before testing for eligib...Martin Odersky2014-02-013-15/+25
* Dropping a type annotation, which is no longer needed.Martin Odersky2014-01-311-2/+1
* Replacing most occurrences of HashMap with AnyRefMapMartin Odersky2014-01-307-31/+43
* Performance improvements to NamedType#denotMartin Odersky2014-01-301-29/+48
* Add early discarding of methods for eligible check.Martin Odersky2014-01-292-6/+33
* Better implicit loggingMartin Odersky2014-01-292-5/+20
* Implements refined printing of ViewProtoMartin Odersky2014-01-291-0/+3
* Fixing equality for selection protosMartin Odersky2014-01-292-7/+12
* Better tracking of implicit searchMartin Odersky2014-01-291-4/+13
* Selective caching of SelectionProtos and ViewProtosMartin Odersky2014-01-276-74/+112
* Cache result of narrow on Methods.Martin Odersky2014-01-272-2/+16
* Accept method types directly in isApplicable.Martin Odersky2014-01-274-18/+24
* Instrumentation on total isSubType calls.Martin Odersky2014-01-261-4/+9
* New treatment of uniquesMartin Odersky2014-01-2610-145/+300
* Refactored RefinedTypes to favor the case where refinedInfo is independent of...Martin Odersky2014-01-262-8/+17
* Better caching of typesMartin Odersky2014-01-262-20/+31
* Special casing of numeric widenings in viewExistsMartin Odersky2014-01-261-2/+13
* Some more statistic samplingMartin Odersky2014-01-268-32/+68
* Update to 2.11Martin Odersky2014-01-262-11/+4
* Statistics now also computes call counts of tracked operations.Martin Odersky2014-01-261-5/+23
* Add text markers around "hot" tracing operations.Martin Odersky2014-01-264-7/+7
* Breaking out gc() method in TyperState.Martin Odersky2014-01-262-9/+30
* Fixes to constraint handling.Martin Odersky2014-01-266-32/+82
* Fixing two bugs in subtype checking that cancelled each other out.Martin Odersky2014-01-262-9/+8
* Try to dealias LHS in <:< where possible.Martin Odersky2014-01-261-4/+4
* Break out suboperations in separate methods...Martin Odersky2014-01-261-66/+90
* Move GADT tests earlier in subtype algorithmsMartin Odersky2014-01-261-15/+17
* Prune useless subtyping tests.Martin Odersky2014-01-261-11/+33
* Split TermRefs with underlying OrTypes.Martin Odersky2014-01-261-6/+20
* wip on typecomparersMartin Odersky2014-01-263-38/+317
* Refactoctored widening operations.Martin Odersky2014-01-261-8/+7
* Make better use of AndOrTypes.Martin Odersky2014-01-203-14/+6
* For a typeRef, prefer info.isAlias over symbol.isAliasTypeMartin Odersky2014-01-207-17/+17
* Avoid eager forcing in enterArgBindingMartin Odersky2014-01-203-6/+12
* Drop AnyRef parent generation in DeSugar.Martin Odersky2014-01-191-4/+1
* Normalize parent types so that first one always refers to a class, not a trait.Martin Odersky2014-01-194-23/+85