aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Implicits.scala
Commit message (Expand)AuthorAgeFilesLines
* Fix of t0786: view boundsMartin Odersky2014-03-211-1/+1
* Fix of t0591: implicitlyMartin Odersky2014-03-211-5/+0
* First step towards Typer Reorganization.Martin Odersky2014-03-071-1/+1
* Avoid memory leaks on repeated compilation.Martin Odersky2014-02-241-0/+2
* Performance improvements: Changes to TypeAccumulators and variances.Martin Odersky2014-02-241-1/+1
* Disentangling SelectionProto and RefinedTypeMartin Odersky2014-02-211-1/+1
* Two performance optimizationsMartin Odersky2014-02-131-3/+4
* Merge branch 'wip/bring-forward': Incremental compilationMartin Odersky2014-02-101-1/+1
|\
| * New scheme for incremental invalidation of parents.Martin Odersky2014-02-101-2/+2
|/
* Fix bug for reading type arguments in ClassfileParserMartin Odersky2014-02-061-2/+3
* Dropping eligibility of conforms as an implicit conversion.Martin Odersky2014-02-031-8/+3
* Relaxing check that implicits must have explicit return typeMartin Odersky2014-02-021-1/+1
* Improve eligible caching in implicit search.Martin Odersky2014-02-021-1/+1
* Avoid accessing implicits that come from root imports that are hidden by some...Martin Odersky2014-02-021-3/+15
* wip for implicits handling root imports.Martin Odersky2014-02-021-6/+6
* Cheaper eligibility test for PolyTypes.Martin Odersky2014-02-021-10/+17
* Refactoring implicit discardsMartin Odersky2014-02-011-2/+41
* Make argument types of viewproto undergo WildApprox before testing for eligib...Martin Odersky2014-02-011-5/+13
* Replacing most occurrences of HashMap with AnyRefMapMartin Odersky2014-01-301-15/+16
* Better implicit loggingMartin Odersky2014-01-291-5/+19
* Better tracking of implicit searchMartin Odersky2014-01-291-4/+13
* New treatment of uniquesMartin Odersky2014-01-261-0/+1
* Special casing of numeric widenings in viewExistsMartin Odersky2014-01-261-2/+13
* Update to 2.11Martin Odersky2014-01-261-1/+1
* For a typeRef, prefer info.isAlias over symbol.isAliasTypeMartin Odersky2014-01-201-1/+1
* Fix to computation of implicit scopesMartin Odersky2014-01-181-2/+7
* Refactoring to avoid multiple overloaded traceIndent methods.Martin Odersky2014-01-161-5/+7
* Generalize implicit scope of ThisTypeMartin Odersky2014-01-161-14/+23
* Allow views when matching the result type of a selection prototype.Martin Odersky2014-01-151-5/+2
* Allow ExprType as the type of a view argument.Martin Odersky2014-01-141-1/+2
* Survive searching viers oper exprTypesMartin Odersky2014-01-131-1/+1
* Making some traces conditional on printers being enabled.Martin Odersky2014-01-131-4/+5
* Refine eligibilityMartin Odersky2014-01-091-1/+1
* Don't do an implicit conversion to Any, AnyRef, or Unit.Martin Odersky2014-01-091-1/+4
* Change namedParts to also include the underlying types of TermRefs.Martin Odersky2014-01-081-1/+1
* Fix divergence test for implicitsMartin Odersky2014-01-061-1/+3
* Exclude inaccessible definitions from contextual implicit search.Martin Odersky2014-01-061-2/+4
* Make implicit scope work in the presence to TypeVarsMartin Odersky2014-01-061-55/+73
* Propagate constraints on result type eagerly into implicit search.Martin Odersky2014-01-041-1/+1
* Output cleanupsMartin Odersky2014-01-041-1/+3
* Fix in constrainResultMartin Odersky2014-01-041-0/+2
* Avoiding converting with a view to a TypeVarMartin Odersky2014-01-021-1/+1
* Tightening of position handlngMartin Odersky2013-12-291-1/+2
* Typing by-name parameters with ExprTypes.Martin Odersky2013-12-221-1/+1
* More shadowing tweaking.Martin Odersky2013-12-191-4/+10
* Refinement to shadowing checking for implicitsMartin Odersky2013-12-191-2/+5
* 3 changes to implicit searchMartin Odersky2013-12-191-4/+13
* Following type aliases when pattern matching.Martin Odersky2013-12-191-1/+1
* Fixes for by-name argumentsMartin Odersky2013-12-171-1/+2
* Added divergence check for implicit searchesMartin Odersky2013-11-301-1/+69
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 19:28:13 +0000