aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Implicits.scala
Commit message (Expand)AuthorAgeFilesLines
...
* Types of This trees are promoted during retyping.Martin Odersky2014-08-311-1/+1
* Check that idents don't assume magic.Martin Odersky2014-08-241-1/+1
* Make type creators work for erased types.Martin Odersky2014-08-241-1/+1
* Avoid caching values that depend on typevar state.Martin Odersky2014-06-201-8/+25
* Fix of t2591.Martin Odersky2014-05-301-1/+1
* More systematic treatment of prototypes.Martin Odersky2014-05-201-4/+10
* Adding descriptive message to no-implicits-after-typer assertion.Martin Odersky2014-05-081-1/+3
* Excluding <:< from eligible candidates for views.Martin Odersky2014-05-081-1/+1
* isAfterTyper testMartin Odersky2014-05-081-1/+2
* replace i"..." by d"..." if string might go into aSamuel Gruetter2014-04-021-7/+7
* Renaming clear->setNewMartin Odersky2014-03-311-2/+2
* Rename methods on FreshContext to make mutation obviousDmitry Petrashko2014-03-271-9/+9
* 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