aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc
Commit message (Expand)AuthorAgeFilesLines
* 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-021-1/+1
* 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-306-29/+41
* 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
* Fix to lub: recompute if either operand can be widenedMartin Odersky2014-01-191-1/+1
* Adapt fun prototype when looking for second chance implicits (aka BigInt)Martin Odersky2014-01-191-1/+3
* Dropping isFullyRefined requirement when adapting to SAM type.Martin Odersky2014-01-191-1/+5
* Refinement of fully-defined accumulator.Martin Odersky2014-01-193-10/+21
* Fix to computation of implicit scopesMartin Odersky2014-01-181-2/+7
* Make signatures use fully qualified names.Martin Odersky2014-01-183-8/+10
* Fix isWildcardStarArg test so that it works also for typed trees.Martin Odersky2014-01-181-2/+3
* More tests.Martin Odersky2014-01-181-5/+5
* Fix openPackageModule wrt overloaded definitionsMartin Odersky2014-01-182-3/+8