aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* 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-192-2/+4
* 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-182-8/+13
* 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
* Invalidate companions of source-defined symbolsMartin Odersky2014-01-182-2/+23
* Fixing problems around isAbsentMartin Odersky2014-01-182-7/+14
* Refine avoiding local refs in block's type.Martin Odersky2014-01-181-6/+22
* Refine notion of pattern variables.Martin Odersky2014-01-183-32/+55
* Fixing the test suite.Martin Odersky2014-01-171-3/+3
* Avoid SuppressedError exceptionsMartin Odersky2014-01-172-3/+3
* Fix problem with duplicate companion objects for classes with default paramet...Martin Odersky2014-01-172-10/+12
* Made findDecl more forgivingMartin Odersky2014-01-171-1/+3
* Handle cases AndType and OrType in WildApproxMartin Odersky2014-01-171-2/+26
* Make typedAhead adapt to prototype.Martin Odersky2014-01-173-2/+4
* Making UniqueMessagePositions Dotty compliantMartin Odersky2014-01-161-1/+1
* Refactoring to avoid multiple overloaded traceIndent methods.Martin Odersky2014-01-166-21/+22
* Flag multiple overloaded variants with default arguments as an error.Martin Odersky2014-01-161-0/+4
* Avoiding a crash in the face of multiple overloaded variants with default arg...Martin Odersky2014-01-161-1/+5
* Generalize implicit scope of ThisTypeMartin Odersky2014-01-162-30/+45
* Make RefinedPrinter Dotty compliant.Martin Odersky2014-01-151-7/+9
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 13:51:29 +0000