aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Typer.scala
Commit message (Expand)AuthorAgeFilesLines
* Realizability refactoringMartin Odersky2016-02-091-3/+4
* Handle "missing args" case when expected type is a singleton type.Martin Odersky2016-02-051-3/+6
* Fix #1036Martin Odersky2016-01-201-1/+6
* Keep rhs of TypeDef in typed treeMartin Odersky2016-01-181-2/+1
* Always eta-expand AppliedTypeTrees argumentsGuillaume Martres2016-01-161-1/+1
* Merge pull request #1006 from dotty-staging/more-testsGuillaume Martres2015-12-261-1/+1
|\
| * Fix problem dealing with symbolic import renamesMartin Odersky2015-12-201-1/+1
* | Remove extraneous printlnMartin Odersky2015-12-211-1/+1
* | Make asSeenFrom idempotentMartin Odersky2015-12-211-5/+29
|/
* Convert super. prefixes of types to this.Martin Odersky2015-12-141-1/+6
* Disallow hk type parameters in lower bounds.Martin Odersky2015-12-111-0/+1
* Reset constraint when one of several implicit arguments is not found.Martin Odersky2015-12-061-1/+7
* Switch to new hk scheme.Martin Odersky2015-12-061-4/+3
* Swap order of arguments in annotationsMartin Odersky2015-11-221-1/+1
* More refined treatement of pattern type variablesMartin Odersky2015-11-171-3/+8
* Generalize test to function classesMartin Odersky2015-11-161-2/+2
* Flag trailing `_' following non-function as an errorMartin Odersky2015-11-161-2/+13
* Make secondary constructor type parameters aliasesMartin Odersky2015-11-161-0/+7
* Shorten ..Class.typeRef to ..TypeMartin Odersky2015-11-091-3/+3
* Merge pull request #927 from dotty-staging/stdlib-boundsodersky2015-11-091-2/+0
|\
| * Drop test that lower bound must be a subtype of upper bound.Martin Odersky2015-11-051-2/+0
* | Merge pull request #905 from dotty-staging/fix-nested-pkg-member-2odersky2015-11-091-1/+3
|\ \ | |/ |/|
| * Fix problem when accessing same identifier from nested packages.Martin Odersky2015-11-021-1/+3
* | Merge pull request #860 from dotty-staging/change-allow-ex-in-hkDmitry Petrashko2015-11-021-28/+1
|\ \
| * | Allow existential types in hk typesMartin Odersky2015-10-241-28/+1
* | | Merge pull request #887 from dotty-staging/fix-#873odersky2015-11-021-10/+13
|\ \ \ | |_|/ |/| |
| * | Also handle SAM functions when adaptiing arity of case lambdas.Martin Odersky2015-10-301-14/+13
| * | Allow pattern matching anonymous functions of arity > 1Martin Odersky2015-10-301-1/+5
* | | Fix #879Martin Odersky2015-10-301-1/+1
* | | Fix #884 - misdiagnosed ambiguous definition.Martin Odersky2015-10-291-1/+1
|/ /
* | Readd `.widen` which was accidentally removed from the previous commitGuillaume Martres2015-10-251-1/+1
* | Simplify logic in adaptMartin Odersky2015-10-251-10/+2
* | Less eager tvar interpolation: wait until method calls are fully appliedGuillaume Martres2015-10-251-2/+11
|/
* Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-aliasDmitry Petrashko2015-10-231-1/+6
|\
| * Fix #815.Martin Odersky2015-10-201-1/+6
* | Merge pull request #811 from dotty-staging/fix-objects-mixinDmitry Petrashko2015-10-211-2/+0
|\ \ | |/ |/|
| * Typer: remove unused TyperContextOpsDmitry Petrashko2015-09-291-2/+0
* | Merge pull request #821 from dotty-staging/fix-check-simple-kindedDmitry Petrashko2015-10-201-3/+3
|\ \
| * | Check that some types are not higher-kinded.Martin Odersky2015-10-071-3/+3
* | | Move Inferencing out of the Typer cakeGuillaume Martres2015-10-091-1/+43
* | | Merge pull request #799 from dotty-staging/change-inferenceodersky2015-10-071-0/+2
|\ \ \ | |/ / |/| |
| * | Fixes #739Martin Odersky2015-09-181-0/+2
* | | fix compiling ScalaRunTime.scalaSarunas Valaskevicius2015-09-251-1/+1
| |/ |/|
* | Disallow wildcard arguments to higher-kinded types...Martin Odersky2015-09-181-1/+28
* | Replace isLambda with ifHKMartin Odersky2015-09-181-6/+1
* | Rename Apply -> hkApplyMartin Odersky2015-09-181-1/+6
* | Add missing position to errorMartin Odersky2015-09-181-1/+1
* | Adapt type arguments in typedAppliedTypeTreeMartin Odersky2015-09-181-11/+13
* | Adapt arguments in all type applicationsMartin Odersky2015-09-181-4/+5
* | Check argument lengths in typedAppliedTypeTreeMartin Odersky2015-09-181-2/+12
|/