aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Implicits.scala
Commit message (Expand)AuthorAgeFilesLines
* Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+1
* Partially fix #1500: Implicit search breaks at a certain depthOlivier Blanvillain2016-09-131-4/+5
* New string infterpolatorsMartin Odersky2016-08-161-9/+11
* Fix #1284: Make classTag depend directly on erasureMartin Odersky2016-07-251-9/+7
* Drop Config.checkKindsMartin Odersky2016-07-111-1/+1
* Handle WildcardType in liftToClassesMartin Odersky2016-07-111-0/+1
* When comparing types revert eta-expansion as neededMartin Odersky2016-07-111-0/+8
* Remove old hk schemeMartin Odersky2016-07-111-4/+1
* Change testsMartin Odersky2016-07-111-2/+2
* Abstract type parameters out from type symbolsMartin Odersky2016-07-111-1/+1
* Don't compute implicit scopes for synthetic Lambda traitsGuillaume Martres2016-05-311-1/+4
* Avoid creating AndTypes with AnyGuillaume Martres2016-05-311-1/+1
* OfTypeImplicits: compute refs lazilyGuillaume Martres2016-05-311-1/+1
* Do not miss implicits in type parameters of parentsGuillaume Martres2016-05-311-1/+1
* Fix implicit scope caching bugGuillaume Martres2016-05-311-5/+6
* Document why we cannot cache all implicit scopesGuillaume Martres2016-05-311-1/+12
* Move eqAny to PredefMartin Odersky2016-05-231-2/+2
* Add Eq instances of standard types to PredefMartin Odersky2016-05-231-2/+14
* Tweak of valid eqAny conditionMartin Odersky2016-05-231-39/+30
* Make use of implicitNotFound for eqaulity errorsMartin Odersky2016-05-231-3/+1
* Print diagnostics to implicits printerMartin Odersky2016-05-231-2/+2
* Check equality that with == and != makes senseMartin Odersky2016-05-231-11/+43
* Hooks to check that comparisons with == / != make senseMartin Odersky2016-05-231-0/+64
* Downwards comparisons for implicit search and overloading resolutionMartin Odersky2016-05-231-1/+13
* Fix caching problem when computing implicit scopesMartin Odersky2016-05-231-1/+1
* Do the implicit search shadowing check in the correct contextGuillaume Martres2016-03-031-2/+2
* Survive class of errors in implicit searchMartin Odersky2016-02-121-1/+2
* Fix #1044: handle TypevarsMissContext mode in wildApproxGuillaume Martres2016-02-061-0/+2
* Merge pull request #902 from dotty-staging/fix-numeric-implicit-argsodersky2015-11-091-4/+26
|\
| * Disable failing testMartin Odersky2015-11-011-5/+5
| * Better handling of implicits over numeric types.Martin Odersky2015-11-011-4/+26
* | Enable <:< implicits as conversions.Martin Odersky2015-11-031-1/+3
|/
* Shorten ctx.typerState.reporter to ctx.reporterMartin Odersky2015-10-261-1/+1
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 08:24:36 +0000