aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Typer.scala
Commit message (Expand)AuthorAgeFilesLines
* Converting most uses of NamedType to select.Martin Odersky2013-11-151-4/+4
* Tweaks to adaptation and interpolationMartin Odersky2013-11-151-11/+13
* making all internal errors throw exceptions (for now).Martin Odersky2013-11-141-1/+1
* Some configuation parametersMartin Odersky2013-11-141-7/+0
* replace qualifierType by widenIfUnstable.Martin Odersky2013-11-141-3/+3
* Fixing inference problem and block scope problemMartin Odersky2013-11-071-3/+3
* Fixing several type checking problems.Martin Odersky2013-11-061-5/+11
* Upgraded handling of positionsMartin Odersky2013-11-041-1/+1
* Generalizing the idea of lossless dealiasings to all accumulators and typemaps.Martin Odersky2013-11-031-3/+2
* Adding simplification and fixing a variance problem.Martin Odersky2013-11-031-0/+1
* To tweaks to derivedRefinedType for higher-kinded types.Martin Odersky2013-10-311-2/+2
* Fixes to type inferenceMartin Odersky2013-10-291-2/+6
* Fixed unpickling of polymorphic constructors.Martin Odersky2013-10-271-1/+1
* Fixing `apply` insertion.Martin Odersky2013-10-271-2/+6
* Fixed handling of varargsMartin Odersky2013-10-261-4/+8
* Fixed problem in handing of self types.Martin Odersky2013-10-241-8/+6
* Parsing and desugaring fixes for blocks.Martin Odersky2013-10-241-3/+4
* Added forgfeotten withNewScope when typing value definitions.Martin Odersky2013-10-241-1/+1
* Suppressing type error messages against prototypes.Martin Odersky2013-10-231-2/+5
* Changes to adaptation and local type inference.Martin Odersky2013-10-151-14/+14
* New invariant: refined types must have a refined info that's more specific th...Martin Odersky2013-10-121-0/+1
* Tightening up typer state + printing refinementsMartin Odersky2013-10-121-2/+4
* No eta-expansion, implicit parameters when Mode = TypeMartin Odersky2013-10-041-3/+6
* Added option -YheartbeatMartin Odersky2013-10-011-122/+133
* Changed logic for merges in lub/glbMartin Odersky2013-09-301-3/+7
* Fixed problem that () was not inserted if method was overloaded.Martin Odersky2013-09-281-2/+11
* Several bug fixes to typer and classfile reader.Martin Odersky2013-09-281-1/+5
* Added isRef method to determine whether a type is a typeref that refers to a ...Martin Odersky2013-09-261-3/+3
* Fixing problem related to overloaded symbolsMartin Odersky2013-09-241-3/+4
* Bug fixes and improvements in error diagnostics.Martin Odersky2013-09-161-5/+11
* Improvements in implicits error reportingMartin Odersky2013-09-061-10/+20
* Several fixes in typer.Martin Odersky2013-09-051-1/+1
* Buf fixing of namer/typer interface.Martin Odersky2013-08-291-65/+74
* Fixed bugs related to typechecking closures.Martin Odersky2013-08-271-5/+8
* Fixed bug in adaptation that confused tree types and their widened versions.Martin Odersky2013-08-251-17/+17
* Fixes expansion and general handling of pattern defs.Martin Odersky2013-08-231-2/+2
* More typer bug fixes and improvements in error messagesMartin Odersky2013-08-221-4/+10
* Various bug fixes for typer.Martin Odersky2013-08-221-3/+3
* Refactoring to prototype schemeMartin Odersky2013-08-211-26/+5
* Fixes to import handling and adaptation and implicitsMartin Odersky2013-08-211-20/+23
* Fixing two typer bugsMartin Odersky2013-08-201-8/+13
* Some additions to module completionMartin Odersky2013-08-191-1/+0
* Changed handling of selection prototypes.Martin Odersky2013-08-191-4/+21
* Several fixes and refactorings for typecheckingMartin Odersky2013-08-191-7/+6
* Making definitions permanentMartin Odersky2013-08-171-1/+1
* Eliminating getter generation in namer/typer.Martin Odersky2013-08-161-3/+3
* Various bugfixes for namer/typer/treesMartin Odersky2013-08-161-5/+8
* Fixed expansion scheme for member defs.Martin Odersky2013-08-151-12/+8
* Converted more strings to be "i" interpolated.Martin Odersky2013-08-141-27/+27
* Integrated parser/typer into compilerMartin Odersky2013-08-141-6/+8
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 14:21:26 +0000