aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Implicits.scala
Commit message (Expand)AuthorAgeFilesLines
* Add @sharable annotationMartin Odersky2015-07-061-1/+1
* setNewTyperState -> setExploreTyperState when computing shadoing implicitsMartin Odersky2015-06-241-1/+5
* Avoid follow-on errors after implicit argument errors.Martin Odersky2015-06-231-1/+1
* Do not check for ambiguous implicits in viewExistsMartin Odersky2015-06-221-3/+8
* Avoid double context creation when modes change on a fresh context.Martin Odersky2015-06-221-2/+3
* Refactor viewExistsMartin Odersky2015-06-191-15/+4
* Fix stack overflow when testing for shadowingMartin Odersky2015-06-191-2/+3
* Correct a large number of typos.Jason Zaugg2015-05-141-2/+2
* Ensure spaces after `if` in Dotty source.Dmitry Petrashko2015-04-091-1/+1
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-1/+1
* Implicits#viewExists: return false after typer instead of AssertionErrorGuillaume Martres2015-03-271-0/+1
* Fix implicit problem in RefinedPrinter.Martin Odersky2015-03-181-1/+1
* Fix implicitScope for the case when implicit scopes cannot be cachedOndrej Lhotak2015-02-051-16/+20
* Fixups taking into account reviewer's comments.Martin Odersky2015-01-271-4/+2
* Some small polishings in TypeComparerMartin Odersky2015-01-241-1/+1
* New scheme for subtyping refined types.Martin Odersky2015-01-081-1/+4
* Disable implicit conversions between from `Null` and `Nothing`.Martin Odersky2014-12-131-1/+3
* 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