aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Fix #1036Martin Odersky2016-01-201-1/+6
* Check AppliedTypeTrees bounds inside AppliedTypeTreeGuillaume Martres2016-01-181-7/+10
* Avoid caching the wrong bounds in TypeRefsMartin Odersky2016-01-181-1/+16
* Check bounds everywhereMartin Odersky2016-01-182-1/+12
* Keep rhs of TypeDef in typed treeMartin Odersky2016-01-181-2/+1
* Always eta-expand AppliedTypeTrees argumentsGuillaume Martres2016-01-161-1/+1
* Compute type params in namer without completing the whole infoMartin Odersky2016-01-161-5/+24
* Fix checkNonCyclic.Martin Odersky2016-01-161-6/+6
* Merge pull request #1006 from dotty-staging/more-testsGuillaume Martres2015-12-263-5/+11
|\
| * Fix problem dealing with symbolic import renamesMartin Odersky2015-12-201-1/+1
| * Fix eta expansionMartin Odersky2015-12-191-1/+2
| * Don't flag override errors for synthetic companion objects.Martin Odersky2015-12-191-2/+7
| * Fix eta lifting for functions with vararg parameters.Martin Odersky2015-12-191-2/+2
* | Remove extraneous printlnMartin Odersky2015-12-211-1/+1
* | Make asSeenFrom idempotentMartin Odersky2015-12-211-5/+29
|/
* Fix higher-kinded unions and intersectionsMartin Odersky2015-12-181-1/+1
* More tweaks to override checks.Martin Odersky2015-12-151-2/+2
* Change <:< to overridesMartin Odersky2015-12-151-1/+1
* Check types for overriding conditions.Martin Odersky2015-12-141-5/+15
* Generalize overriding checking from isDefinedMartin Odersky2015-12-141-1/+1
* Only select parameterless get methods in unapplys.Martin Odersky2015-12-141-1/+1
* Better diagnosis for cyclic references caused by class clashes.Martin Odersky2015-12-141-1/+6
* Convert super. prefixes of types to this.Martin Odersky2015-12-141-1/+6
* Better diagnostics for clashing classesMartin Odersky2015-12-141-4/+15
* Drop redundant conditionMartin Odersky2015-12-141-1/+1
* Make some types of definitions symbolicMartin Odersky2015-12-141-3/+20
* Fix tricky bug coming up when compiling TraversableViewLike.Martin Odersky2015-12-141-4/+34
* Avoid unassigned type errors when typing curried functions.Martin Odersky2015-12-141-21/+21
* Fix of too strict variance checking.Martin Odersky2015-12-141-1/+1
* Disregard BaseTypeArg parameters when variance checking.Martin Odersky2015-12-141-1/+1
* Perform variance adaptation only when needed in isSubTypeMartin Odersky2015-12-132-2/+2
* Add isBottomType/Class tests to DefinitionsMartin Odersky2015-12-111-4/+1
* Disallow hk type parameters in lower bounds.Martin Odersky2015-12-114-6/+14
* 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-062-6/+5
* More uses of adaptIfHKMartin Odersky2015-12-062-18/+20
* Drop argumnt interpolation.Martin Odersky2015-11-301-1/+1
* Swap order of arguments in annotationsMartin Odersky2015-11-225-6/+6
* Annotate `isAsSpecific` with references to its documentationGuillaume Martres2015-11-181-9/+9
* Fix ambiguity errors with polymorphic implicitsGuillaume Martres2015-11-181-6/+23
* Fix #938 - escaping reference.Martin Odersky2015-11-171-4/+3
* 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
* More refined Retyping tracingMartin Odersky2015-11-091-3/+4
* Disable "Exception while typing" trace in retyper.Martin Odersky2015-11-091-2/+2
* Don't try to transform sources of primitive value classes after FrontEnd.Martin Odersky2015-11-091-1/+14
* Shorten ..Class.typeRef to ..TypeMartin Odersky2015-11-093-6/+6
* Renamings in DefinitionsMartin Odersky2015-11-093-4/+4
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 03:55:36 +0000