aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Implicits.scala
Commit message (Expand)AuthorAgeFilesLines
...
* Tweaking ImplicitsMartin Odersky2013-11-291-40/+38
* Cleanup of TermRef.withSym and TypeRef.withSymMartin Odersky2013-11-251-3/+3
* Cleanup of named type creation from SymDenotations.Martin Odersky2013-11-231-2/+2
* Tweaks to adaptation and interpolationMartin Odersky2013-11-151-1/+1
* Some configuation parametersMartin Odersky2013-11-141-1/+5
* Fixing inference problem and block scope problemMartin Odersky2013-11-071-1/+1
* Fixing a typerstate confusion in implicit search.Martin Odersky2013-11-061-1/+1
* Upgraded handling of positionsMartin Odersky2013-11-041-1/+1
* Adding simplification and fixing a variance problem.Martin Odersky2013-11-031-1/+3
* Two fixes for implicit searchMartin Odersky2013-10-311-6/+9
* Cleaned up and fixed interpolation of undetermined type variablesMartin Odersky2013-10-241-2/+0
* Small cleanups, plus a new test case.Martin Odersky2013-10-241-10/+4
* Fixed problem where lifted types leak into OfTypeImplicitsMartin Odersky2013-10-151-8/+16
* Changes to adaptation and local type inference.Martin Odersky2013-10-151-15/+16
* Made tracing appear even when currently in StoreReporter contextMartin Odersky2013-10-141-1/+1
* Bug fixes in <:<Martin Odersky2013-10-131-1/+1
* Tightening up typer state + printing refinementsMartin Odersky2013-10-121-8/+21
* flags for instancesMartin Odersky2013-10-071-2/+0
* Added option -YheartbeatMartin Odersky2013-10-011-13/+16
* Changed logic for merges in lub/glbMartin Odersky2013-09-301-0/+3
* Experimental branch that drops {Term/Type}RefWithSym typesMartin Odersky2013-09-181-6/+6
* Bug fixes and improvements in error diagnostics.Martin Odersky2013-09-161-1/+2
* Fixed an initialization problem in implicitsMartin Odersky2013-09-081-3/+3
* Made sets of TermRefs work correctly wrt =:=Martin Odersky2013-09-071-2/+26
* Improvements in implicits error reportingMartin Odersky2013-09-061-107/+181
* Fix that avoids constraint pollution when computing cached scope implicits.Martin Odersky2013-09-051-2/+5
* Review of all deompositions of NamedTypeMartin Odersky2013-08-241-1/+1
* Fixes in implicit handlingMartin Odersky2013-08-231-22/+27
* Fixing a buf in implicit searchMartin Odersky2013-08-221-0/+7
* More typer bug fixes and improvements in error messagesMartin Odersky2013-08-221-1/+2
* Fixes to import handling and adaptation and implicitsMartin Odersky2013-08-211-5/+5
* Added code for adapt and more.Martin Odersky2013-07-211-3/+4
* Made implicit results use TyperState instead of full context.Martin Odersky2013-07-201-4/+4
* Integrated reporting into TyperState.Martin Odersky2013-07-191-1/+1
* Additions needed to support implicits.Martin Odersky2013-07-191-5/+248
* Freshing out some more aspects of applications.Martin Odersky2013-07-151-0/+38