aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Handling implicit unapply arguments.Martin Odersky2013-12-201-6/+14
* More shadowing tweaking.Martin Odersky2013-12-191-4/+10
* Refinement to shadowing checking for implicitsMartin Odersky2013-12-191-2/+5
* Fixed problem in adapt after infer implicit arguments.Martin Odersky2013-12-191-1/+1
* Change to computing arguments in a pattern match.Martin Odersky2013-12-191-2/+2
* 3 changes to implicit searchMartin Odersky2013-12-192-6/+15
* Following type aliases when pattern matching.Martin Odersky2013-12-193-15/+78
* Allowing curried closures.Martin Odersky2013-12-181-1/+1
* Fixes to parent types.Martin Odersky2013-12-172-5/+9
* Three bugfixes to typing.Martin Odersky2013-12-174-10/+13
* Fixes for by-name argumentsMartin Odersky2013-12-173-13/+11
* Two fixes in TyperMartin Odersky2013-12-171-3/+6
* Fixes to desugaring and indexing package objectsMartin Odersky2013-12-172-11/+11
* Eliminating StateFulMartin Odersky2013-12-162-23/+17
* Small tweaks to typerMartin Odersky2013-12-161-5/+5
* Better handling of cyclic reference errors.Martin Odersky2013-12-164-2/+41
* Checking for double definitions among class definitions.Martin Odersky2013-12-162-19/+35
* Default arguments now have a positionMartin Odersky2013-12-161-1/+6
* Setting Method flag when parsing classfiles and sourcesMartin Odersky2013-12-161-1/+2
* Check for no double defsMartin Odersky2013-12-161-1/+4
* Fix to desugaring refinement types.Martin Odersky2013-12-161-1/+1
* Fixes to typed return, try, match.Martin Odersky2013-12-162-17/+20
* Fixes related to SAM types.Martin Odersky2013-12-152-8/+18
* Fixed several deep problems in handling of types and symbols.Martin Odersky2013-12-143-7/+13
* Fixes to typer.Martin Odersky2013-12-113-18/+16
* Fixes to lifting in eta-expansionMartin Odersky2013-12-111-5/+5
* Fixes and tests for typedIdentMartin Odersky2013-12-102-22/+27
* Fixing a problem with swallowed errorsMartin Odersky2013-12-101-3/+4
* Fixes to avoid stale symbols and to avoid methods as pattern constructors.Martin Odersky2013-12-093-32/+53
* Fix of error that arose when searching for the companion object of a class wi...Martin Odersky2013-12-091-1/+1
* Added desugaring for & and | types.Martin Odersky2013-12-091-1/+1
* Fixes to desugaring and typing of parameterized TypedefsMartin Odersky2013-12-091-2/+2
* Fixes to inherited result types in Namer.Martin Odersky2013-12-091-11/+12
* Defensive programming in ApplicationsMartin Odersky2013-12-081-3/+5
* Names of created symbols need to be encoded.Martin Odersky2013-12-081-2/+2
* Fix that avoids overzealous function lifting.Martin Odersky2013-12-081-1/+1
* Better reporting for pattern matching errors.Martin Odersky2013-12-082-3/+4
* Fixes to type-checking (_: T)Martin Odersky2013-12-071-9/+17
* Fixes for desugarings of case classes.Martin Odersky2013-12-071-4/+7
* Fixing expansion and merge companion defs.Martin Odersky2013-12-061-15/+24
* Fixes to liftingMartin Odersky2013-12-051-2/+4
* Fixes to named and default arguments.Martin Odersky2013-12-052-41/+49
* Changes to Desugar and Namer.Martin Odersky2013-12-052-27/+29
* Overloading resolution changeMartin Odersky2013-12-051-3/+7
* Refactoring test compatible.Martin Odersky2013-12-022-11/+10
* Streamlining isApplicableMartin Odersky2013-12-022-24/+19
* Fixes to type applications and unapply.Martin Odersky2013-12-022-33/+41
* Tweaks to applications, operator assignments, and variable definitions.Martin Odersky2013-12-013-97/+116
* Polishing EtaExpansionMartin Odersky2013-12-011-25/+54
* Added divergence check for implicit searchesMartin Odersky2013-11-301-1/+69